home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| TeX document text
| default
| |
| 98%
| file
| LaTeX auxiliary file, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 65 66 5c 66 69 6c | 65 76 65 72 73 69 6f 6e |\def\fil|eversion|
|00000010| 7b 76 32 2e 32 61 7d 0a | 5c 64 65 66 5c 66 69 6c |{v2.2a}.|\def\fil|
|00000020| 65 64 61 74 65 7b 31 39 | 39 34 2f 30 32 2f 30 33 |edate{19|94/02/03|
|00000030| 7d 0a 5c 64 65 66 5c 64 | 6f 63 64 61 74 65 20 7b |}.\def\d|ocdate {|
|00000040| 31 39 39 34 2f 30 32 2f | 32 38 7d 0a 25 0a 25 20 |1994/02/|28}.%.% |
|00000050| 5c 43 68 65 63 6b 53 75 | 6d 7b 35 30 31 7d 0a 25 |\CheckSu|m{501}.%|
|00000060| 25 20 5c 43 68 61 72 61 | 63 74 65 72 54 61 62 6c |% \Chara|cterTabl|
|00000070| 65 0a 25 25 20 20 7b 55 | 70 70 65 72 2d 63 61 73 |e.%% {U|pper-cas|
|00000080| 65 20 20 20 20 5c 41 5c | 42 5c 43 5c 44 5c 45 5c |e \A\|B\C\D\E\|
|00000090| 46 5c 47 5c 48 5c 49 5c | 4a 5c 4b 5c 4c 5c 4d 5c |F\G\H\I\|J\K\L\M\|
|000000a0| 4e 5c 4f 5c 50 5c 51 5c | 52 5c 53 5c 54 5c 55 5c |N\O\P\Q\|R\S\T\U\|
|000000b0| 56 5c 57 5c 58 5c 59 5c | 5a 0a 25 25 20 20 20 4c |V\W\X\Y\|Z.%% L|
|000000c0| 6f 77 65 72 2d 63 61 73 | 65 20 20 20 20 5c 61 5c |ower-cas|e \a\|
|000000d0| 62 5c 63 5c 64 5c 65 5c | 66 5c 67 5c 68 5c 69 5c |b\c\d\e\|f\g\h\i\|
|000000e0| 6a 5c 6b 5c 6c 5c 6d 5c | 6e 5c 6f 5c 70 5c 71 5c |j\k\l\m\|n\o\p\q\|
|000000f0| 72 5c 73 5c 74 5c 75 5c | 76 5c 77 5c 78 5c 79 5c |r\s\t\u\|v\w\x\y\|
|00000100| 7a 0a 25 25 20 20 20 44 | 69 67 69 74 73 20 20 20 |z.%% D|igits |
|00000110| 20 20 20 20 20 5c 30 5c | 31 5c 32 5c 33 5c 34 5c | \0\|1\2\3\4\|
|00000120| 35 5c 36 5c 37 5c 38 5c | 39 0a 25 25 20 20 20 45 |5\6\7\8\|9.%% E|
|00000130| 78 63 6c 61 6d 61 74 69 | 6f 6e 20 20 20 5c 21 20 |xclamati|on \! |
|00000140| 20 20 20 20 44 6f 75 62 | 6c 65 20 71 75 6f 74 65 | Doub|le quote|
|00000150| 20 20 5c 22 20 20 20 20 | 20 48 61 73 68 20 28 6e | \" | Hash (n|
|00000160| 75 6d 62 65 72 29 20 5c | 23 0a 25 25 20 20 20 44 |umber) \|#.%% D|
|00000170| 6f 6c 6c 61 72 20 20 20 | 20 20 20 20 20 5c 24 20 |ollar | \$ |
|00000180| 20 20 20 20 50 65 72 63 | 65 6e 74 20 20 20 20 20 | Perc|ent |
|00000190| 20 20 5c 25 20 20 20 20 | 20 41 6d 70 65 72 73 61 | \% | Ampersa|
|000001a0| 6e 64 20 20 20 20 20 5c | 26 0a 25 25 20 20 20 41 |nd \|&.%% A|
|000001b0| 63 75 74 65 20 61 63 63 | 65 6e 74 20 20 5c 27 20 |cute acc|ent \' |
|000001c0| 20 20 20 20 4c 65 66 74 | 20 70 61 72 65 6e 20 20 | Left| paren |
|000001d0| 20 20 5c 28 20 20 20 20 | 20 52 69 67 68 74 20 70 | \( | Right p|
|000001e0| 61 72 65 6e 20 20 20 5c | 29 0a 25 25 20 20 20 41 |aren \|).%% A|
|000001f0| 73 74 65 72 69 73 6b 20 | 20 20 20 20 20 5c 2a 20 |sterisk | \* |
|00000200| 20 20 20 20 50 6c 75 73 | 20 20 20 20 20 20 20 20 | Plus| |
|00000210| 20 20 5c 2b 20 20 20 20 | 20 43 6f 6d 6d 61 20 20 | \+ | Comma |
|00000220| 20 20 20 20 20 20 20 5c | 2c 0a 25 25 20 20 20 4d | \|,.%% M|
|00000230| 69 6e 75 73 20 20 20 20 | 20 20 20 20 20 5c 2d 20 |inus | \- |
|00000240| 20 20 20 20 50 6f 69 6e | 74 20 20 20 20 20 20 20 | Poin|t |
|00000250| 20 20 5c 2e 20 20 20 20 | 20 53 6f 6c 69 64 75 73 | \. | Solidus|
|00000260| 20 20 20 20 20 20 20 5c | 2f 0a 25 25 20 20 20 43 | \|/.%% C|
|00000270| 6f 6c 6f 6e 20 20 20 20 | 20 20 20 20 20 5c 3a 20 |olon | \: |
|00000280| 20 20 20 20 53 65 6d 69 | 63 6f 6c 6f 6e 20 20 20 | Semi|colon |
|00000290| 20 20 5c 3b 20 20 20 20 | 20 4c 65 73 73 20 74 68 | \; | Less th|
|000002a0| 61 6e 20 20 20 20 20 5c | 3c 0a 25 25 20 20 20 45 |an \|<.%% E|
|000002b0| 71 75 61 6c 73 20 20 20 | 20 20 20 20 20 5c 3d 20 |quals | \= |
|000002c0| 20 20 20 20 47 72 65 61 | 74 65 72 20 74 68 61 6e | Grea|ter than|
|000002d0| 20 20 5c 3e 20 20 20 20 | 20 51 75 65 73 74 69 6f | \> | Questio|
|000002e0| 6e 20 6d 61 72 6b 20 5c | 3f 0a 25 25 20 20 20 43 |n mark \|?.%% C|
|000002f0| 6f 6d 6d 65 72 63 69 61 | 6c 20 61 74 20 5c 40 20 |ommercia|l at \@ |
|00000300| 20 20 20 20 4c 65 66 74 | 20 62 72 61 63 6b 65 74 | Left| bracket|
|00000310| 20 20 5c 5b 20 20 20 20 | 20 42 61 63 6b 73 6c 61 | \[ | Backsla|
|00000320| 73 68 20 20 20 20 20 5c | 5c 0a 25 25 20 20 20 52 |sh \|\.%% R|
|00000330| 69 67 68 74 20 62 72 61 | 63 6b 65 74 20 5c 5d 20 |ight bra|cket \] |
|00000340| 20 20 20 20 43 69 72 63 | 75 6d 66 6c 65 78 20 20 | Circ|umflex |
|00000350| 20 20 5c 5e 20 20 20 20 | 20 55 6e 64 65 72 73 63 | \^ | Undersc|
|00000360| 6f 72 65 20 20 20 20 5c | 5f 0a 25 25 20 20 20 47 |ore \|_.%% G|
|00000370| 72 61 76 65 20 61 63 63 | 65 6e 74 20 20 5c 60 20 |rave acc|ent \` |
|00000380| 20 20 20 20 4c 65 66 74 | 20 62 72 61 63 65 20 20 | Left| brace |
|00000390| 20 20 5c 7b 20 20 20 20 | 20 56 65 72 74 69 63 61 | \{ | Vertica|
|000003a0| 6c 20 62 61 72 20 20 5c | 7c 0a 25 25 20 20 20 52 |l bar \||.%% R|
|000003b0| 69 67 68 74 20 62 72 61 | 63 65 20 20 20 5c 7d 20 |ight bra|ce \} |
|000003c0| 20 20 20 20 54 69 6c 64 | 65 20 20 20 20 20 20 20 | Tild|e |
|000003d0| 20 20 5c 7e 7d 0a 25 25 | 20 0a 25 20 5c 69 66 66 | \~}.%%| .% \iff|
|000003e0| 61 6c 73 65 0a 25 0a 25 | 25 20 50 61 63 6b 61 67 |alse.%.%|% Packag|
|000003f0| 65 20 60 74 68 65 6f 72 | 65 6d 27 20 74 6f 20 75 |e `theor|em' to u|
|00000400| 73 65 20 77 69 74 68 20 | 4c 61 54 65 58 32 65 0a |se with |LaTeX2e.|
|00000410| 25 25 20 43 6f 70 79 72 | 69 67 68 74 20 28 43 29 |%% Copyr|ight (C)|
|00000420| 20 31 39 38 39 2d 31 39 | 39 34 20 46 72 61 6e 6b | 1989-19|94 Frank|
|00000430| 20 4d 69 74 74 65 6c 62 | 61 63 68 2c 20 61 6c 6c | Mittelb|ach, all|
|00000440| 20 72 69 67 68 74 73 20 | 72 65 73 65 72 76 65 64 | rights |reserved|
|00000450| 2e 0a 25 25 0a 25 25 20 | 46 6f 72 20 65 72 72 6f |..%%.%% |For erro|
|00000460| 72 20 72 65 70 6f 72 74 | 73 20 66 6f 72 20 55 4e |r report|s for UN|
|00000470| 43 48 41 4e 47 45 44 20 | 76 65 72 73 69 6f 6e 73 |CHANGED |versions|
|00000480| 20 73 65 65 20 72 65 61 | 64 6d 65 2e 74 78 74 2e | see rea|dme.txt.|
|00000490| 0a 25 0a 25 20 5c 66 69 | 0a 25 0a 25 0a 25 20 5c |.%.% \fi|.%.%.% \|
|000004a0| 63 68 61 6e 67 65 73 7b | 76 31 2e 30 7d 7b 38 37 |changes{|v1.0}{87|
|000004b0| 2f 30 35 2f 30 37 7d 7b | 46 69 72 73 74 20 64 72 |/05/07}{|First dr|
|000004c0| 61 66 74 2e 7d 0a 25 20 | 5c 63 68 61 6e 67 65 73 |aft.}.% |\changes|
|000004d0| 7b 76 31 2e 30 61 7d 7b | 38 37 2f 30 35 2f 30 37 |{v1.0a}{|87/05/07|
|000004e0| 7d 7b 60 74 68 69 73 74 | 68 65 6f 72 65 6d 73 74 |}{`thist|heoremst|
|000004f0| 79 6c 65 27 20 61 64 64 | 65 64 2e 7d 0a 25 20 5c |yle' add|ed.}.% \|
|00000500| 63 68 61 6e 67 65 73 7b | 76 31 2e 31 61 7d 7b 38 |changes{|v1.1a}{8|
|00000510| 37 2f 30 37 2f 32 39 7d | 7b 4e 65 77 20 63 6f 6e |7/07/29}|{New con|
|00000520| 63 65 70 74 3a 20 72 65 | 64 65 66 69 6e 65 20 74 |cept: re|define t|
|00000530| 68 65 20 69 6e 74 65 72 | 6e 61 6c 0a 25 20 20 20 |he inter|nal.% |
|00000540| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000550| 20 20 20 20 20 20 20 5c | 70 72 6f 74 65 63 74 5c | \|protect\|
|00000560| 4c 61 54 65 58 7b 7d 20 | 63 6f 6d 6d 61 6e 64 73 |LaTeX{} |commands|
|00000570| 20 60 40 78 6e 74 68 6d | 27 20 65 74 63 2e 7d 0a | `@xnthm|' etc.}.|
|00000580| 25 20 5c 63 68 61 6e 67 | 65 73 7b 76 31 2e 31 62 |% \chang|es{v1.1b|
|00000590| 7d 7b 38 37 2f 30 37 2f | 33 31 7d 7b 60 74 68 65 |}{87/07/|31}{`the|
|000005a0| 6f 72 65 6d 66 6f 6e 74 | 27 20 75 73 65 64 20 74 |oremfont|' used t|
|000005b0| 6f 20 73 70 65 63 69 66 | 79 20 66 6f 6e 74 2e 7d |o specif|y font.}|
|000005c0| 0a 25 20 5c 63 68 61 6e | 67 65 73 7b 76 31 2e 32 |.% \chan|ges{v1.2|
|000005d0| 61 7d 7b 38 38 2f 30 31 | 2f 30 38 7d 7b 60 40 65 |a}{88/01|/08}{`@e|
|000005e0| 6e 64 74 68 65 6f 72 65 | 6d 27 20 6e 6f 77 20 67 |ndtheore|m' now g|
|000005f0| 6c 6f 62 61 6c 6c 79 20 | 64 65 66 69 6e 65 64 2e |lobally |defined.|
|00000600| 7d 0a 25 20 5c 63 68 61 | 6e 67 65 73 7b 76 31 2e |}.% \cha|nges{v1.|
|00000610| 32 62 7d 7b 38 38 2f 30 | 31 2f 31 31 7d 7b 60 6e |2b}{88/0|1/11}{`n|
|00000620| 65 77 74 68 65 6f 72 65 | 6d 27 20 6f 6e 6c 79 20 |ewtheore|m' only |
|00000630| 61 6c 6c 6f 77 65 64 20 | 69 6e 20 74 68 65 20 70 |allowed |in the p|
|00000640| 72 65 61 6d 62 6c 65 2e | 7d 0a 25 20 5c 63 68 61 |reamble.|}.% \cha|
|00000650| 6e 67 65 73 7b 76 31 2e | 33 61 7d 7b 38 38 2f 30 |nges{v1.|3a}{88/0|
|00000660| 32 2f 31 34 7d 7b 60 74 | 68 65 6f 72 65 6d 66 6f |2/14}{`t|heoremfo|
|00000670| 6e 74 27 20 6e 6f 77 20 | 61 20 74 6f 6b 73 20 72 |nt' now |a toks r|
|00000680| 65 67 69 73 74 65 72 2e | 7d 0a 25 0a 25 20 5c 63 |egister.|}.%.% \c|
|00000690| 68 61 6e 67 65 73 7b 76 | 32 2e 30 61 7d 7b 38 38 |hanges{v|2.0a}{88|
|000006a0| 2f 31 31 2f 31 36 7d 7b | 4e 65 77 20 69 6d 70 6c |/11/16}{|New impl|
|000006b0| 65 6d 65 6e 74 61 74 69 | 6f 6e 20 61 6e 64 20 6e |ementati|on and n|
|000006c0| 65 77 20 64 6f 63 75 6d | 65 6e 74 61 74 69 6f 6e |ew docum|entation|
|000006d0| 2e 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 32 |.}.% \ch|anges{v2|
|000006e0| 2e 30 61 7d 7b 38 38 2f | 31 31 2f 31 36 7d 7b 4e |.0a}{88/|11/16}{N|
|000006f0| 6f 20 6c 61 79 6f 75 74 | 20 63 68 61 6e 67 65 73 |o layout| changes|
|00000700| 20 62 75 74 20 69 6e 74 | 65 72 6e 61 6c 20 6d 6f | but int|ernal mo|
|00000710| 64 69 66 69 63 61 74 69 | 6f 6e 73 0a 25 20 20 20 |dificati|ons.% |
|00000720| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000730| 20 20 20 20 20 20 20 20 | 6f 6c 64 20 73 75 62 73 | |old subs|
|00000740| 74 79 6c 65 73 20 77 6f | 6e 27 74 20 77 6f 72 6b |tyles wo|n't work|
|00000750| 2e 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 32 |.}.% \ch|anges{v2|
|00000760| 2e 30 62 7d 7b 38 39 2f | 30 31 2f 33 30 7d 7b 60 |.0b}{89/|01/30}{`|
|00000770| 67 6c 6f 62 61 6c 27 20 | 75 73 65 64 20 66 6f 72 |global' |used for|
|00000780| 20 61 6c 6c 20 64 65 66 | 69 6e 69 74 69 6f 6e 73 | all def|initions|
|00000790| 2e 7d 0a 25 20 5c 63 68 | 61 6e 67 65 73 7b 76 32 |.}.% \ch|anges{v2|
|000007a0| 2e 30 63 7d 7b 38 39 2f | 30 36 2f 31 35 7d 7b 44 |.0c}{89/|06/15}{D|
|000007b0| 6f 63 75 6d 65 6e 74 61 | 74 69 6f 6e 20 74 72 61 |ocumenta|tion tra|
|000007c0| 6e 73 6c 61 74 65 64 20 | 74 6f 20 45 6e 67 6c 69 |nslated |to Engli|
|000007d0| 73 68 2e 0a 25 20 20 20 | 20 20 20 20 20 20 20 20 |sh..% | |
|000007e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000007f0| 20 54 68 61 6e 6b 73 20 | 74 6f 20 4c 4c 4c 20 61 | Thanks |to LLL a|
|00000800| 6e 64 20 4e 69 6e 61 7d | 0a 25 20 5c 63 68 61 6e |nd Nina}|.% \chan|
|00000810| 67 65 73 7b 76 32 2e 31 | 61 7d 7b 39 30 2f 30 32 |ges{v2.1|a}{90/02|
|00000820| 2f 31 35 7d 7b 53 75 70 | 70 6f 72 74 20 66 6f 72 |/15}{Sup|port for|
|00000830| 20 6e 65 77 20 66 6f 6e | 74 20 73 65 6c 65 63 74 | new fon|t select|
|00000840| 69 6f 6e 2e 7d 0a 25 20 | 5c 63 68 61 6e 67 65 73 |ion.}.% |\changes|
|00000850| 7b 76 32 2e 32 61 7d 7b | 39 34 2f 30 32 2f 30 33 |{v2.2a}{|94/02/03|
|00000860| 7d 7b 43 6c 65 61 6e 75 | 70 20 66 6f 72 20 4c 61 |}{Cleanu|p for La|
|00000870| 54 65 58 32 65 7d 0a 25 | 0a 25 20 5c 44 6f 4e 6f |TeX2e}.%|.% \DoNo|
|00000880| 74 49 6e 64 65 78 7b 5c | 40 65 6e 64 70 61 72 65 |tIndex{\|@endpare|
|00000890| 6e 76 2c 5c 40 69 66 64 | 65 66 69 6e 61 62 6c 65 |nv,\@ifd|efinable|
|000008a0| 2c 5c 40 69 66 6e 65 78 | 74 63 68 61 72 2c 5c 40 |,\@ifnex|tchar,\@|
|000008b0| 69 66 75 6e 64 65 66 69 | 6e 65 64 7d 0a 25 20 5c |ifundefi|ned}.% \|
|000008c0| 44 6f 4e 6f 74 49 6e 64 | 65 78 7b 5c 40 6e 61 6d |DoNotInd|ex{\@nam|
|000008d0| 65 64 65 66 2c 5c 40 6e | 61 6d 65 75 73 65 2c 5c |edef,\@n|ameuse,\|
|000008e0| 40 73 70 61 63 65 73 2c | 5c 40 74 65 6d 70 61 2c |@spaces,|\@tempa,|
|000008f0| 5c 40 77 61 72 6e 69 6e | 67 7d 0a 25 20 5c 44 6f |\@warnin|g}.% \Do|
|00000900| 4e 6f 74 49 6e 64 65 78 | 7b 5c 20 7d 0a 25 20 5c |NotIndex|{\ }.% \|
|00000910| 44 6f 4e 6f 74 49 6e 64 | 65 78 7b 5c 62 65 67 69 |DoNotInd|ex{\begi|
|00000920| 6e 67 72 6f 75 70 2c 5c | 62 66 73 65 72 69 65 73 |ngroup,\|bfseries|
|00000930| 7d 0a 25 20 5c 44 6f 4e | 6f 74 49 6e 64 65 78 7b |}.% \DoN|otIndex{|
|00000940| 5c 63 73 6e 61 6d 65 7d | 0a 25 20 5c 44 6f 4e 6f |\csname}|.% \DoNo|
|00000950| 74 49 6e 64 65 78 7b 5c | 64 65 66 2c 5c 64 6f 2c |tIndex{\|def,\do,|
|00000960| 5c 64 6f 63 64 61 74 65 | 7d 0a 25 20 5c 44 6f 4e |\docdate|}.% \DoN|
|00000970| 6f 74 49 6e 64 65 78 7b | 5c 65 6e 64 63 73 6e 61 |otIndex{|\endcsna|
|00000980| 6d 65 2c 5c 65 6e 64 67 | 72 6f 75 70 2c 5c 65 6e |me,\endg|roup,\en|
|00000990| 64 69 6e 70 75 74 2c 5c | 65 6e 64 74 72 69 76 6c |dinput,\|endtrivl|
|000009a0| 69 73 74 2c 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |ist,\exp|andafter|
|000009b0| 7d 0a 25 20 5c 44 6f 4e | 6f 74 49 6e 64 65 78 7b |}.% \DoN|otIndex{|
|000009c0| 5c 66 69 6c 65 64 61 74 | 65 2c 5c 66 69 6c 65 76 |\filedat|e,\filev|
|000009d0| 65 72 73 69 6f 6e 7d 0a | 25 20 5c 44 6f 4e 6f 74 |ersion}.|% \DoNot|
|000009e0| 49 6e 64 65 78 7b 5c 67 | 64 65 66 2c 5c 67 6c 6f |Index{\g|def,\glo|
|000009f0| 62 61 6c 7d 0a 25 20 5c | 44 6f 4e 6f 74 49 6e 64 |bal}.% \|DoNotInd|
|00000a00| 65 78 7b 5c 68 62 6f 78 | 2c 5c 68 73 6b 69 70 7d |ex{\hbox|,\hskip}|
|00000a10| 0a 25 20 5c 44 6f 4e 6f | 74 49 6e 64 65 78 7b 5c |.% \DoNo|tIndex{\|
|00000a20| 69 67 6e 6f 72 65 73 70 | 61 63 65 73 2c 5c 69 6e |ignoresp|aces,\in|
|00000a30| 70 75 74 2c 5c 69 74 73 | 68 61 70 65 2c 5c 69 74 |put,\its|hape,\it|
|00000a40| 65 6d 7d 0a 25 20 5c 44 | 6f 4e 6f 74 49 6e 64 65 |em}.% \D|oNotInde|
|00000a50| 78 7b 5c 6c 61 62 65 6c | 73 65 70 2c 5c 6c 65 74 |x{\label|sep,\let|
|00000a60| 2c 5c 6c 6c 61 70 7d 0a | 25 20 5c 44 6f 4e 6f 74 |,\llap}.|% \DoNot|
|00000a70| 49 6e 64 65 78 7b 5c 6d | 61 6b 65 61 74 6c 65 74 |Index{\m|akeatlet|
|00000a80| 74 65 72 7d 0a 25 20 5c | 44 6f 4e 6f 74 49 6e 64 |ter}.% \|DoNotInd|
|00000a90| 65 78 7b 5c 6e 6f 65 78 | 70 61 6e 64 7d 0a 25 20 |ex{\noex|pand}.% |
|00000aa0| 5c 44 6f 4e 6f 74 49 6e | 64 65 78 7b 5c 72 65 66 |\DoNotIn|dex{\ref|
|00000ab0| 73 74 65 70 63 6f 75 6e | 74 65 72 2c 5c 72 65 6c |stepcoun|ter,\rel|
|00000ac0| 61 78 2c 5c 72 6c 61 70 | 7d 0a 25 20 5c 44 6f 4e |ax,\rlap|}.% \DoN|
|00000ad0| 6f 74 49 6e 64 65 78 7b | 5c 73 65 74 6c 65 6e 67 |otIndex{|\setleng|
|00000ae0| 74 68 2c 5c 73 6c 73 68 | 61 70 65 2c 5c 73 70 61 |th,\slsh|ape,\spa|
|00000af0| 63 65 2c 5c 73 74 72 69 | 6e 67 2c 5c 73 74 72 75 |ce,\stri|ng,\stru|
|00000b00| 74 7d 0a 25 20 5c 44 6f | 4e 6f 74 49 6e 64 65 78 |t}.% \Do|NotIndex|
|00000b10| 7b 5c 74 68 65 2c 5c 74 | 72 69 76 6c 69 73 74 2c |{\the,\t|rivlist,|
|00000b20| 5c 74 79 70 65 6f 75 74 | 7d 0a 25 20 5c 44 6f 4e |\typeout|}.% \DoN|
|00000b30| 6f 74 49 6e 64 65 78 7b | 5c 76 62 6f 78 7d 0a 25 |otIndex{|\vbox}.%|
|00000b40| 20 5c 44 6f 4e 6f 74 49 | 6e 64 65 78 7b 5c 78 64 | \DoNotI|ndex{\xd|
|00000b50| 65 66 7d 0a 25 0a 25 20 | 5c 64 65 66 5c 64 65 66 |ef}.%.% |\def\def|
|00000b60| 6c 61 62 65 6c 23 31 7b | 5c 74 74 66 61 6d 69 6c |label#1{|\ttfamil|
|00000b70| 79 20 23 31 5c 68 66 69 | 6c 6c 7d 0a 25 20 5c 64 |y #1\hfi|ll}.% \d|
|00000b80| 65 66 5c 64 65 66 6c 69 | 73 74 23 31 7b 5c 62 65 |ef\defli|st#1{\be|
|00000b90| 67 69 6e 7b 6c 69 73 74 | 7d 7b 7d 7b 5c 73 65 74 |gin{list|}{}{\set|
|00000ba0| 74 6f 77 69 64 74 68 5c | 6c 61 62 65 6c 77 69 64 |towidth\|labelwid|
|00000bb0| 74 68 7b 5c 74 74 66 61 | 6d 69 6c 79 20 23 31 7d |th{\ttfa|mily #1}|
|00000bc0| 25 0a 25 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |%.% | |
|00000bd0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000be0| 20 20 5c 73 65 74 6c 65 | 6e 67 74 68 5c 6c 65 66 | \setle|ngth\lef|
|00000bf0| 74 6d 61 72 67 69 6e 5c | 6c 61 62 65 6c 77 69 64 |tmargin\|labelwid|
|00000c00| 74 68 0a 25 20 20 20 20 | 20 20 20 20 20 20 20 20 |th.% | |
|00000c10| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000c20| 20 20 20 5c 61 64 64 74 | 6f 6c 65 6e 67 74 68 5c | \addt|olength\|
|00000c30| 6c 65 66 74 6d 61 72 67 | 69 6e 5c 6c 61 62 65 6c |leftmarg|in\label|
|00000c40| 73 65 70 0a 25 20 20 20 | 20 20 20 20 20 20 20 20 |sep.% | |
|00000c50| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000c60| 20 20 20 20 5c 6c 65 74 | 5c 6d 61 6b 65 6c 61 62 | \let|\makelab|
|00000c70| 65 6c 5c 64 65 66 6c 61 | 62 65 6c 7d 7d 0a 25 20 |el\defla|bel}}.% |
|00000c80| 5c 64 65 66 5c 65 6e 64 | 64 65 66 6c 69 73 74 7b |\def\end|deflist{|
|00000c90| 5c 65 6e 64 7b 6c 69 73 | 74 7d 7d 0a 25 20 5c 64 |\end{lis|t}}.% \d|
|00000ca0| 65 66 5c 65 6e 76 66 6f | 6e 74 7b 5c 6e 6f 72 6d |ef\envfo|nt{\norm|
|00000cb0| 61 6c 66 6f 6e 74 5c 74 | 74 66 61 6d 69 6c 79 7d |alfont\t|tfamily}|
|00000cc0| 0a 25 0a 25 20 5c 4d 61 | 6b 65 53 68 6f 72 74 56 |.%.% \Ma|keShortV|
|00000cd0| 65 72 62 7b 5c 7c 7d 0a | 25 0a 25 20 5c 6e 65 77 |erb{\|}.|%.% \new|
|00000ce0| 63 6f 6d 6d 61 6e 64 7b | 5c 54 55 42 7d 7b 7b 5c |command{|\TUB}{{\|
|00000cf0| 73 6c 20 54 55 47 62 6f | 61 74 5c 2f 7d 7d 0a 25 |sl TUGbo|at\/}}.%|
|00000d00| 0a 25 20 5c 74 69 74 6c | 65 7b 41 6e 20 45 78 74 |.% \titl|e{An Ext|
|00000d10| 65 6e 73 69 6f 6e 20 6f | 66 20 74 68 65 0a 25 20 |ension o|f the.% |
|00000d20| 20 20 20 20 20 20 20 5c | 4c 61 54 65 58 7b 7d 20 | \|LaTeX{} |
|00000d30| 74 68 65 6f 72 65 6d 20 | 65 6e 76 69 72 6f 6e 6d |theorem |environm|
|00000d40| 65 6e 74 5c 74 68 61 6e | 6b 73 7b 54 68 69 73 20 |ent\than|ks{This |
|00000d50| 66 69 6c 65 0a 25 20 20 | 20 20 20 20 20 20 68 61 |file.% | ha|
|00000d60| 73 20 76 65 72 73 69 6f | 6e 20 6e 75 6d 62 65 72 |s versio|n number|
|00000d70| 20 5c 66 69 6c 65 76 65 | 72 73 69 6f 6e 2c 20 6c | \fileve|rsion, l|
|00000d80| 61 73 74 0a 25 20 20 20 | 20 20 20 20 20 72 65 76 |ast.% | rev|
|00000d90| 69 73 65 64 20 5c 66 69 | 6c 65 64 61 74 65 2c 20 |ised \fi|ledate, |
|00000da0| 64 6f 63 75 6d 65 6e 74 | 61 74 69 6f 6e 20 64 61 |document|ation da|
|00000db0| 74 65 64 20 5c 64 6f 63 | 64 61 74 65 2e 7d 7d 0a |ted \doc|date.}}.|
|00000dc0| 25 20 5c 61 75 74 68 6f | 72 7b 46 72 61 6e 6b 20 |% \autho|r{Frank |
|00000dd0| 4d 69 74 74 65 6c 62 61 | 63 68 5c 5c 0a 25 20 20 |Mittelba|ch\\.% |
|00000de0| 20 20 20 20 20 45 6c 65 | 63 74 72 6f 6e 69 63 20 | Ele|ctronic |
|00000df0| 44 61 74 61 20 53 79 73 | 74 65 6d 73 5c 5c 0a 25 |Data Sys|tems\\.%|
|00000e00| 20 20 20 20 20 20 20 20 | 20 28 44 65 75 74 73 63 | | (Deutsc|
|00000e10| 68 6c 61 6e 64 29 20 47 | 6d 62 48 5c 5c 0a 25 20 |hland) G|mbH\\.% |
|00000e20| 20 20 20 20 20 20 45 69 | 73 65 6e 73 74 72 61 5c | Ei|senstra\|
|00000e30| 73 73 20 65 20 35 36 5c | 5c 0a 25 20 20 20 20 20 |ss e 56\|\.% |
|00000e40| 20 20 44 2d 36 35 34 32 | 34 20 52 5c 22 75 73 73 | D-6542|4 R\"uss|
|00000e50| 65 6c 73 68 65 69 6d 5c | 5c 0a 25 20 20 20 20 20 |elsheim\|\.% |
|00000e60| 20 20 46 65 64 65 72 61 | 6c 20 52 65 70 75 62 6c | Federa|l Republ|
|00000e70| 69 63 20 6f 66 20 47 65 | 72 6d 61 6e 79 7d 0a 25 |ic of Ge|rmany}.%|
|00000e80| 0a 25 20 5c 6d 61 6b 65 | 74 69 74 6c 65 0a 25 0a |.% \make|title.%.|
|00000e90| 25 20 5c 62 65 67 69 6e | 7b 61 62 73 74 72 61 63 |% \begin|{abstrac|
|00000ea0| 74 7d 0a 25 20 20 20 20 | 54 68 65 20 6d 61 63 72 |t}.% |The macr|
|00000eb0| 6f 73 20 64 65 73 63 72 | 69 62 65 64 20 69 6e 20 |os descr|ibed in |
|00000ec0| 74 68 69 73 20 70 61 70 | 65 72 20 79 69 65 6c 64 |this pap|er yield|
|00000ed0| 20 61 6e 20 65 78 74 65 | 6e 73 69 6f 6e 20 6f 66 | an exte|nsion of|
|00000ee0| 20 74 68 65 0a 25 20 20 | 20 20 5c 4c 61 54 65 58 | the.% | \LaTeX|
|00000ef0| 7b 7d 20 74 68 65 6f 72 | 65 6d 20 6d 65 63 68 61 |{} theor|em mecha|
|00000f00| 6e 69 73 6d 2e 20 49 74 | 20 69 73 20 64 65 73 69 |nism. It| is desi|
|00000f10| 67 6e 65 64 20 69 73 20 | 74 6f 20 73 61 74 69 73 |gned is |to satis|
|00000f20| 66 79 20 74 68 65 0a 25 | 20 20 20 20 64 69 66 66 |fy the.%| diff|
|00000f30| 65 72 65 6e 74 20 72 65 | 71 75 69 72 65 6d 65 6e |erent re|quiremen|
|00000f40| 74 73 20 6f 66 20 76 61 | 72 69 6f 75 73 20 6a 6f |ts of va|rious jo|
|00000f50| 75 72 6e 61 6c 73 2e 20 | 54 68 75 73 2c 20 74 68 |urnals. |Thus, th|
|00000f60| 65 0a 25 20 20 20 20 6c | 61 79 6f 75 74 20 6f 66 |e.% l|ayout of|
|00000f70| 20 74 68 65 20 60 60 74 | 68 65 6f 72 65 6d 73 27 | the ``t|heorems'|
|00000f80| 27 20 63 61 6e 20 62 65 | 20 6d 61 6e 69 70 75 6c |' can be| manipul|
|00000f90| 61 74 65 64 20 62 79 20 | 64 65 74 65 72 6d 69 6e |ated by |determin|
|00000fa0| 69 6e 67 20 61 0a 25 20 | 20 20 20 60 60 73 74 79 |ing a.% | ``sty|
|00000fb0| 6c 65 27 27 2e 20 54 68 | 69 73 20 61 72 74 69 63 |le''. Th|is artic|
|00000fc0| 6c 65 20 64 65 73 63 72 | 69 62 65 73 20 6e 6f 74 |le descr|ibes not|
|00000fd0| 20 6f 6e 6c 79 20 74 68 | 65 20 75 73 65 2c 20 62 | only th|e use, b|
|00000fe0| 75 74 0a 25 20 20 20 20 | 61 6c 73 6f 20 74 68 65 |ut.% |also the|
|00000ff0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 2c 20 6f 66 20 | definit|ion, of |
|00001000| 74 68 65 20 6e 65 63 65 | 73 73 61 72 79 20 6d 61 |the nece|ssary ma|
|00001010| 63 72 6f 73 2e 0a 25 20 | 5c 65 6e 64 7b 61 62 73 |cros..% |\end{abs|
|00001020| 74 72 61 63 74 7d 0a 25 | 0a 25 20 5c 73 65 63 74 |tract}.%|.% \sect|
|00001030| 69 6f 6e 2a 7b 50 72 65 | 66 61 63 65 20 74 6f 20 |ion*{Pre|face to |
|00001040| 76 65 72 73 69 6f 6e 20 | 32 2e 32 7d 0a 25 0a 25 |version |2.2}.%.%|
|00001050| 20 46 6f 72 20 5c 4c 61 | 54 65 58 65 7b 7d 20 74 | For \La|TeXe{} t|
|00001060| 68 69 73 20 70 61 63 6b | 61 67 65 20 64 69 64 20 |his pack|age did |
|00001070| 6e 6f 74 20 6e 65 65 64 | 20 61 6e 79 20 66 75 6e |not need| any fun|
|00001080| 64 61 6d 65 6e 74 61 6c | 20 63 68 61 6e 67 65 73 |damental| changes|
|00001090| 2e 20 49 0a 25 20 6f 6e | 6c 79 20 6d 6f 64 69 66 |. I.% on|ly modif|
|000010a0| 69 65 64 20 74 68 65 20 | 6d 65 73 73 61 67 65 73 |ied the |messages|
|000010b0| 20 67 65 6e 65 72 61 74 | 65 64 20 73 6f 20 74 68 | generat|ed so th|
|000010c0| 61 74 20 74 68 65 6f 72 | 65 6d 20 6c 61 79 6f 75 |at theor|em layou|
|000010d0| 74 20 73 74 79 6c 65 73 | 0a 25 20 77 69 6c 6c 20 |t styles|.% will |
|000010e0| 73 68 6f 77 20 75 70 20 | 77 69 74 68 20 74 68 65 |show up |with the|
|000010f0| 20 7c 5c 6c 69 73 74 66 | 69 6c 65 73 7c 20 63 6f | |\listf|iles| co|
|00001100| 6d 6d 61 6e 64 20 61 6e | 64 20 63 6c 65 61 6e 65 |mmand an|d cleane|
|00001110| 64 20 74 68 65 20 73 65 | 63 74 69 6f 6e 0a 25 20 |d the se|ction.% |
|00001120| 6f 6e 20 74 68 65 20 4e | 65 77 20 46 6f 6e 74 20 |on the N|ew Font |
|00001130| 53 65 6c 65 63 74 69 6f | 6e 20 53 63 68 65 6d 65 |Selectio|n Scheme|
|00001140| 20 73 69 6e 63 65 20 74 | 68 69 73 20 69 73 20 6e | since t|his is n|
|00001150| 6f 77 20 69 6e 63 6c 75 | 64 65 64 20 69 6e 0a 25 |ow inclu|ded in.%|
|00001160| 20 5c 4c 61 54 65 58 2e | 0a 25 0a 25 20 5c 73 65 | \LaTeX.|.%.% \se|
|00001170| 63 74 69 6f 6e 2a 7b 50 | 72 65 66 61 63 65 20 74 |ction*{P|reface t|
|00001180| 6f 20 76 65 72 73 69 6f | 6e 20 32 2e 31 7d 0a 25 |o versio|n 2.1}.%|
|00001190| 0a 25 20 54 68 69 73 20 | 76 65 72 73 69 6f 6e 20 |.% This |version |
|000011a0| 69 73 20 69 64 65 6e 74 | 69 63 61 6c 20 74 6f 20 |is ident|ical to |
|000011b0| 32 2e 30 67 20 64 65 73 | 63 72 69 62 65 64 20 69 |2.0g des|cribed i|
|000011c0| 6e 20 5c 54 55 42 5c 20 | 31 30 5c 23 33 20 65 78 |n \TUB\ |10\#3 ex|
|000011d0| 63 65 70 74 0a 25 20 66 | 6f 72 20 73 6f 6d 65 20 |cept.% f|or some |
|000011e0| 69 6e 74 65 72 6e 61 6c | 20 64 65 66 61 75 6c 74 |internal| default|
|000011f0| 73 20 77 68 69 63 68 20 | 61 72 65 20 6e 6f 77 20 |s which |are now |
|00001200| 73 65 74 20 64 65 70 65 | 6e 64 69 6e 67 20 6f 6e |set depe|nding on|
|00001210| 20 74 68 65 20 75 73 65 | 64 0a 25 20 66 6f 6e 74 | the use|d.% font|
|00001220| 20 73 65 6c 65 63 74 69 | 6f 6e 20 73 63 68 65 6d | selecti|on schem|
|00001230| 65 2e 0a 25 0a 25 20 54 | 68 69 73 20 77 61 73 20 |e..%.% T|his was |
|00001240| 64 6f 6e 65 20 74 6f 20 | 61 76 6f 69 64 20 75 6e |done to |avoid un|
|00001250| 70 6c 65 61 73 61 6e 74 | 20 73 75 72 70 72 69 73 |pleasant| surpris|
|00001260| 65 73 20 69 66 20 74 68 | 65 20 6e 65 77 20 66 6f |es if th|e new fo|
|00001270| 6e 74 20 73 65 6c 65 63 | 74 69 6f 6e 0a 25 20 73 |nt selec|tion.% s|
|00001280| 63 68 65 6d 65 20 69 73 | 20 69 6e 20 66 6f 72 63 |cheme is| in forc|
|00001290| 65 2e 20 46 6f 72 20 66 | 75 72 74 68 65 72 20 64 |e. For f|urther d|
|000012a0| 65 74 61 69 6c 73 20 73 | 65 65 0a 25 20 73 65 63 |etails s|ee.% sec|
|000012b0| 74 69 6f 6e 7e 5c 72 65 | 66 7b 73 65 63 3a 6e 65 |tion~\re|f{sec:ne|
|000012c0| 77 66 6f 6e 74 73 7d 20 | 61 6e 64 20 5c 63 69 74 |wfonts} |and \cit|
|000012d0| 65 7b 62 6b 3a 47 4d 53 | 39 34 7d 2e 0a 25 0a 25 |e{bk:GMS|94}..%.%|
|000012e0| 20 5c 73 65 63 74 69 6f | 6e 7b 49 6e 74 72 6f 64 | \sectio|n{Introd|
|000012f0| 75 63 74 69 6f 6e 7d 0a | 25 0a 25 20 46 6f 72 20 |uction}.|%.% For |
|00001300| 6f 75 72 20 70 75 72 70 | 6f 73 65 73 20 68 65 72 |our purp|oses her|
|00001310| 65 2c 20 60 60 74 68 65 | 6f 72 65 6d 73 27 27 20 |e, ``the|orems'' |
|00001320| 61 72 65 20 6c 61 62 65 | 6c 6c 65 64 20 65 6e 75 |are labe|lled enu|
|00001330| 6e 63 69 61 74 69 6f 6e | 73 2c 0a 25 20 6f 66 74 |nciation|s,.% oft|
|00001340| 65 6e 20 73 65 74 20 6f | 66 66 20 66 72 6f 6d 20 |en set o|ff from |
|00001350| 74 68 65 20 6d 61 69 6e | 20 74 65 78 74 20 62 79 |the main| text by|
|00001360| 20 65 78 74 72 61 20 73 | 70 61 63 65 20 61 6e 64 | extra s|pace and|
|00001370| 20 61 20 66 6f 6e 74 20 | 63 68 61 6e 67 65 2e 0a | a font |change..|
|00001380| 25 20 54 68 65 6f 72 65 | 6d 73 2c 20 63 6f 72 6f |% Theore|ms, coro|
|00001390| 6c 6c 61 72 69 65 73 2c | 20 63 6f 6e 6a 65 63 74 |llaries,| conject|
|000013a0| 75 72 65 73 2c 20 64 65 | 66 69 6e 69 74 69 6f 6e |ures, de|finition|
|000013b0| 73 2c 20 61 6e 64 20 72 | 65 6d 61 72 6b 73 0a 25 |s, and r|emarks.%|
|000013c0| 20 61 72 65 20 61 6c 6c | 20 69 6e 73 74 61 6e 63 | are all| instanc|
|000013d0| 65 73 20 6f 66 20 60 60 | 74 68 65 6f 72 65 6d 73 |es of ``|theorems|
|000013e0| 27 27 2e 20 20 54 68 65 | 20 60 60 68 65 61 64 65 |''. The| ``heade|
|000013f0| 72 27 27 20 6f 66 20 74 | 68 65 73 65 20 73 74 72 |r'' of t|hese str|
|00001400| 75 63 74 75 72 65 73 0a | 25 20 69 73 20 63 6f 6d |uctures.|% is com|
|00001410| 70 6f 73 65 64 20 6f 66 | 20 61 20 6c 61 62 65 6c |posed of| a label|
|00001420| 20 28 73 75 63 68 20 61 | 73 20 5c 74 65 78 74 73 | (such a|s \texts|
|00001430| 63 7b 54 68 65 6f 72 65 | 6d 7d 20 6f 72 20 5c 74 |c{Theore|m} or \t|
|00001440| 65 78 74 73 63 7b 52 65 | 6d 61 72 6b 7d 29 0a 25 |extsc{Re|mark}).%|
|00001450| 20 61 6e 64 20 61 20 6e | 75 6d 62 65 72 20 77 68 | and a n|umber wh|
|00001460| 69 63 68 20 73 65 72 69 | 61 6c 69 7a 65 73 20 61 |ich seri|alizes a|
|00001470| 6e 20 69 74 65 6d 20 69 | 6e 20 74 68 65 20 73 65 |n item i|n the se|
|00001480| 71 75 65 6e 63 65 20 6f | 66 20 69 74 65 6d 73 0a |quence o|f items.|
|00001490| 25 20 77 69 74 68 20 74 | 68 65 20 73 61 6d 65 20 |% with t|he same |
|000014a0| 6c 61 62 65 6c 2e 0a 25 | 0a 25 20 53 68 6f 72 74 |label..%|.% Short|
|000014b0| 6c 79 20 61 66 74 65 72 | 20 74 68 65 20 69 6e 74 |ly after| the int|
|000014c0| 72 6f 64 75 63 74 69 6f | 6e 20 6f 66 20 5c 4c 61 |roductio|n of \La|
|000014d0| 54 65 58 7b 7d 20 61 74 | 20 74 68 65 20 46 61 63 |TeX{} at| the Fac|
|000014e0| 68 62 65 72 65 69 63 68 | 0a 25 20 4d 61 74 68 65 |hbereich|.% Mathe|
|000014f0| 6d 61 74 69 6b 20 69 6e | 20 4d 61 69 6e 7a 2c 20 |matik in| Mainz, |
|00001500| 74 68 65 20 64 65 73 69 | 72 65 20 74 6f 20 6d 61 |the desi|re to ma|
|00001510| 6e 69 70 75 6c 61 74 65 | 20 74 68 65 20 6c 61 79 |nipulate| the lay|
|00001520| 6f 75 74 20 6f 66 0a 25 | 20 60 60 74 68 65 6f 72 |out of.%| ``theor|
|00001530| 65 6d 73 27 27 20 61 72 | 6f 73 65 2e 20 20 49 6e |ems'' ar|ose. In|
|00001540| 20 4d 61 69 6e 7a 2c 20 | 74 68 65 20 66 6f 6c 6c | Mainz, |the foll|
|00001550| 6f 77 69 6e 67 20 74 77 | 6f 20 63 6f 6e 76 65 6e |owing tw|o conven|
|00001560| 74 69 6f 6e 73 20 63 61 | 6d 65 0a 25 20 69 6e 74 |tions ca|me.% int|
|00001570| 6f 20 67 65 6e 65 72 61 | 6c 20 75 73 65 3a 0a 25 |o genera|l use:.%|
|00001580| 20 5c 62 65 67 69 6e 7b | 65 6e 75 6d 65 72 61 74 | \begin{|enumerat|
|00001590| 65 7d 0a 25 20 20 20 5c | 69 74 65 6d 20 54 68 65 |e}.% \|item The|
|000015a0| 20 6e 75 6d 62 65 72 20 | 6f 66 20 74 68 65 20 74 | number |of the t|
|000015b0| 68 65 6f 72 65 6d 20 69 | 73 20 73 68 6f 77 6e 20 |heorem i|s shown |
|000015c0| 69 6e 20 74 68 65 20 6d | 61 72 67 69 6e 2e 0a 25 |in the m|argin..%|
|000015d0| 20 20 20 5c 69 74 65 6d | 20 54 68 65 72 65 20 69 | \item| There i|
|000015e0| 73 20 61 20 6c 69 6e 65 | 20 62 72 65 61 6b 20 61 |s a line| break a|
|000015f0| 74 20 0a 25 20 20 20 20 | 20 20 20 20 20 74 68 65 |t .% | the|
|00001600| 20 65 6e 64 20 6f 66 20 | 74 68 65 20 74 68 65 6f | end of |the theo|
|00001610| 72 65 6d 20 68 65 61 64 | 65 72 2e 0a 25 20 5c 65 |rem head|er..% \e|
|00001620| 6e 64 7b 65 6e 75 6d 65 | 72 61 74 65 7d 0a 25 0a |nd{enume|rate}.%.|
|00001630| 25 20 41 64 64 69 74 69 | 6f 6e 61 6c 6c 79 2c 20 |% Additi|onally, |
|00001640| 73 6f 6d 65 20 6a 6f 75 | 72 6e 61 6c 73 20 72 65 |some jou|rnals re|
|00001650| 71 75 69 72 65 20 64 69 | 66 66 65 72 65 6e 74 20 |quire di|fferent |
|00001660| 66 6f 72 6d 61 74 73 20 | 77 68 69 63 68 20 64 65 |formats |which de|
|00001670| 70 65 6e 64 20 6f 6e 0a | 25 20 74 68 65 20 60 60 |pend on.|% the ``|
|00001680| 73 6f 72 74 20 6f 66 20 | 74 68 65 6f 72 65 6d 27 |sort of |theorem'|
|00001690| 27 3a 20 65 2e 67 2e 5c | 20 6f 66 74 65 6e 20 72 |': e.g.\| often r|
|000016a0| 65 6d 61 72 6b 73 20 61 | 6e 64 20 64 65 66 69 6e |emarks a|nd defin|
|000016b0| 69 74 69 6f 6e 73 20 61 | 72 65 20 73 65 74 0a 25 |itions a|re set.%|
|000016c0| 20 69 6e 20 7c 5c 75 70 | 73 68 61 70 65 7c 2c 20 | in |\up|shape|, |
|000016d0| 77 68 69 6c 65 20 7c 5c | 69 74 73 68 61 70 65 7c |while |\|itshape||
|000016e0| 20 69 73 20 65 6d 70 6c | 6f 79 65 64 20 66 6f 72 | is empl|oyed for|
|000016f0| 20 6d 61 69 6e 20 74 68 | 65 6f 72 65 6d 73 2e 0a | main th|eorems..|
|00001700| 25 0a 25 20 43 6f 6e 66 | 72 6f 6e 74 65 64 20 77 |%.% Conf|ronted w|
|00001710| 69 74 68 20 74 68 65 73 | 65 20 72 65 71 75 69 72 |ith thes|e requir|
|00001720| 65 6d 65 6e 74 73 2c 20 | 61 20 74 68 65 6f 72 65 |ements, |a theore|
|00001730| 6d 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 20 77 61 |m enviro|nment wa|
|00001740| 73 0a 25 20 64 65 76 65 | 6c 6f 70 65 64 20 69 6e |s.% deve|loped in|
|00001750| 20 4d 61 69 6e 7a 20 77 | 68 69 63 68 20 61 6c 6c | Mainz w|hich all|
|00001760| 6f 77 73 20 73 65 70 61 | 72 61 74 65 20 64 65 74 |ows sepa|rate det|
|00001770| 65 72 6d 69 6e 61 74 69 | 6f 6e 20 6f 66 20 74 68 |erminati|on of th|
|00001780| 65 0a 25 20 6c 61 79 6f | 75 74 20 6f 66 20 74 68 |e.% layo|ut of th|
|00001790| 65 20 60 60 74 68 65 6f | 72 65 6d 73 20 73 65 74 |e ``theo|rems set|
|000017a0| 73 27 27 2c 20 63 6f 6d | 70 61 72 61 62 6c 65 20 |s'', com|parable |
|000017b0| 74 6f 20 7c 5c 70 61 67 | 65 73 74 79 6c 65 7c 2e |to |\pag|estyle|.|
|000017c0| 0a 25 0a 25 0a 25 20 5c | 73 65 63 74 69 6f 6e 7b |.%.%.% \|section{|
|000017d0| 54 68 65 20 75 73 65 72 | 20 69 6e 74 65 72 66 61 |The user| interfa|
|000017e0| 63 65 7d 0a 25 20 5c 73 | 75 62 73 65 63 74 69 6f |ce}.% \s|ubsectio|
|000017f0| 6e 7b 44 65 66 69 6e 69 | 6e 67 20 6e 65 77 20 74 |n{Defini|ng new t|
|00001800| 68 65 6f 72 65 6d 20 73 | 65 74 73 7d 0a 25 0a 25 |heorem s|ets}.%.%|
|00001810| 20 5c 44 65 73 63 72 69 | 62 65 4d 61 63 72 6f 5c | \Descri|beMacro\|
|00001820| 6e 65 77 74 68 65 6f 72 | 65 6d 0a 25 20 41 73 20 |newtheor|em.% As |
|00001830| 69 6e 20 74 68 65 20 6f | 72 69 67 69 6e 61 6c 20 |in the o|riginal |
|00001840| 5c 4c 61 54 65 58 7b 7d | 20 76 65 72 73 69 6f 6e |\LaTeX{}| version|
|00001850| 2c 20 74 68 65 20 63 6f | 6d 6d 61 6e 64 20 7c 5c |, the co|mmand |\|
|00001860| 6e 65 77 74 68 65 6f 72 | 65 6d 7c 0a 25 20 64 65 |newtheor|em|.% de|
|00001870| 66 69 6e 65 73 20 61 20 | 6e 65 77 20 60 60 74 68 |fines a |new ``th|
|00001880| 65 6f 72 65 6d 20 73 65 | 74 27 27 20 6f 72 20 60 |eorem se|t'' or `|
|00001890| 60 74 68 65 6f 72 65 6d | 2d 6c 69 6b 65 20 73 74 |`theorem|-like st|
|000018a0| 72 75 63 74 75 72 65 27 | 27 2e 0a 25 20 54 77 6f |ructure'|'..% Two|
|000018b0| 20 72 65 71 75 69 72 65 | 64 20 61 72 67 75 6d 65 | require|d argume|
|000018c0| 6e 74 73 20 6e 61 6d 65 | 20 74 68 65 20 6e 65 77 |nts name| the new|
|000018d0| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 20 61 6e 64 | environ|ment and|
|000018e0| 20 67 69 76 65 20 74 68 | 65 20 74 65 78 74 0a 25 | give th|e text.%|
|000018f0| 20 74 6f 20 62 65 20 74 | 79 70 65 73 65 74 20 77 | to be t|ypeset w|
|00001900| 69 74 68 20 65 61 63 68 | 20 69 6e 73 74 61 6e 63 |ith each| instanc|
|00001910| 65 20 6f 66 20 74 68 65 | 20 6e 65 77 20 60 60 73 |e of the| new ``s|
|00001920| 65 74 27 27 2c 20 77 68 | 69 6c 65 0a 25 20 61 6e |et'', wh|ile.% an|
|00001930| 20 6f 70 74 69 6f 6e 61 | 6c 20 61 72 67 75 6d 65 | optiona|l argume|
|00001940| 6e 74 20 64 65 74 65 72 | 6d 69 6e 65 73 20 68 6f |nt deter|mines ho|
|00001950| 77 0a 25 20 74 68 65 20 | 60 60 73 65 74 27 27 20 |w.% the |``set'' |
|00001960| 69 73 20 65 6e 75 6d 65 | 72 61 74 65 64 3a 0a 25 |is enume|rated:.%|
|00001970| 20 5c 62 65 67 69 6e 7b | 64 65 73 63 72 69 70 74 | \begin{|descript|
|00001980| 69 6f 6e 7d 0a 25 20 20 | 20 20 5c 69 74 65 6d 5b |ion}.% | \item[|
|00001990| 5c 74 74 66 61 6d 69 6c | 79 20 5c 62 73 6c 61 73 |\ttfamil|y \bslas|
|000019a0| 68 20 6e 65 77 74 68 65 | 6f 72 65 6d 5c 7b 66 6f |h newthe|orem\{fo|
|000019b0| 6f 5c 7d 5c 7b 62 61 72 | 5c 7d 5d 0a 25 20 20 20 |o\}\{bar|\}].% |
|000019c0| 20 20 20 20 54 68 65 20 | 74 68 65 6f 72 65 6d 20 | The |theorem |
|000019d0| 73 65 74 20 7b 5c 65 6e | 76 66 6f 6e 74 20 66 6f |set {\en|vfont fo|
|000019e0| 6f 7d 20 28 77 68 6f 73 | 65 20 6e 61 6d 65 20 69 |o} (whos|e name i|
|000019f0| 73 20 5c 74 65 78 74 74 | 74 7b 62 61 72 7d 29 0a |s \textt|t{bar}).|
|00001a00| 25 20 20 20 20 20 20 20 | 75 73 65 73 20 69 74 73 |% |uses its|
|00001a10| 20 6f 77 6e 20 63 6f 75 | 6e 74 65 72 2e 0a 25 20 | own cou|nter..% |
|00001a20| 20 20 20 5c 69 74 65 6d | 5b 5c 74 74 66 61 6d 69 | \item|[\ttfami|
|00001a30| 6c 79 20 5c 62 73 6c 61 | 73 68 20 6e 65 77 74 68 |ly \bsla|sh newth|
|00001a40| 65 6f 72 65 6d 5c 7b 66 | 6f 6f 32 5c 7d 7b 5b 66 |eorem\{f|oo2\}{[f|
|00001a50| 6f 6f 5d 7d 5c 7b 62 61 | 72 32 5c 7d 5d 0a 25 20 |oo]}\{ba|r2\}].% |
|00001a60| 20 20 20 20 20 20 54 68 | 65 20 74 68 65 6f 72 65 | Th|e theore|
|00001a70| 6d 20 73 65 74 20 7b 5c | 65 6e 76 66 6f 6e 74 20 |m set {\|envfont |
|00001a80| 66 6f 6f 32 7d 20 28 70 | 72 69 6e 74 65 64 20 6e |foo2} (p|rinted n|
|00001a90| 61 6d 65 20 5c 74 65 78 | 74 74 74 7b 62 61 72 32 |ame \tex|ttt{bar2|
|00001aa0| 7d 29 0a 25 20 20 20 20 | 20 20 20 75 73 65 73 20 |}).% | uses |
|00001ab0| 74 68 65 20 73 61 6d 65 | 20 63 6f 75 6e 74 65 72 |the same| counter|
|00001ac0| 20 61 73 20 74 68 65 20 | 74 68 65 6f 72 65 6d 20 | as the |theorem |
|00001ad0| 73 65 74 20 5c 74 65 78 | 74 74 74 7b 66 6f 6f 7d |set \tex|ttt{foo}|
|00001ae0| 2e 0a 25 20 20 20 20 5c | 69 74 65 6d 5b 5c 74 74 |..% \|item[\tt|
|00001af0| 66 61 6d 69 6c 79 20 5c | 62 73 6c 61 73 68 20 6e |family \|bslash n|
|00001b00| 65 77 74 68 65 6f 72 65 | 6d 5c 7b 66 6f 6f 33 5c |ewtheore|m\{foo3\|
|00001b10| 7d 5c 7b 62 61 72 33 5c | 7d 7b 5b 73 65 63 74 69 |}\{bar3\|}{[secti|
|00001b20| 6f 6e 5d 7d 5d 20 0a 25 | 20 20 20 20 20 20 20 54 |on]}] .%| T|
|00001b30| 68 65 20 74 68 65 6f 72 | 65 6d 20 73 65 74 20 7b |he theor|em set {|
|00001b40| 5c 65 6e 76 66 6f 6e 74 | 20 66 6f 6f 33 7d 20 28 |\envfont| foo3} (|
|00001b50| 70 72 69 6e 74 65 64 20 | 6e 61 6d 65 20 5c 74 65 |printed |name \te|
|00001b60| 78 74 74 74 7b 62 61 72 | 33 7d 29 20 69 73 0a 25 |xttt{bar|3}) is.%|
|00001b70| 20 20 20 20 20 20 20 65 | 6e 75 6d 65 72 61 74 65 | e|numerate|
|00001b80| 64 20 77 69 74 68 69 6e | 20 74 68 65 20 63 6f 75 |d within| the cou|
|00001b90| 6e 74 65 72 20 5c 74 65 | 78 74 74 74 7b 73 65 63 |nter \te|xttt{sec|
|00001ba0| 74 69 6f 6e 7d 2c 20 69 | 2e 65 2e 5c 20 77 69 74 |tion}, i|.e.\ wit|
|00001bb0| 68 20 65 76 65 72 79 0a | 25 20 20 20 20 20 20 20 |h every.|% |
|00001bc0| 6e 65 77 20 7c 5c 73 65 | 63 74 69 6f 6e 7c 20 74 |new |\se|ction| t|
|00001bd0| 68 65 20 65 6e 75 6d 65 | 72 61 74 69 6f 6e 20 62 |he enume|ration b|
|00001be0| 65 67 69 6e 73 20 61 67 | 61 69 6e 20 77 69 74 68 |egins ag|ain with|
|00001bf0| 20 31 2c 20 61 6e 64 0a | 25 20 20 20 20 20 20 20 | 1, and.|% |
|00001c00| 74 68 65 20 65 6e 75 6d | 65 72 61 74 69 6f 6e 20 |the enum|eration |
|00001c10| 69 73 20 63 6f 6d 70 6f | 73 65 64 20 66 72 6f 6d |is compo|sed from|
|00001c20| 20 74 68 65 20 73 65 63 | 74 69 6f 6e 2d 6e 75 6d | the sec|tion-num|
|00001c30| 62 65 72 20 61 6e 64 20 | 74 68 65 0a 25 20 20 20 |ber and |the.% |
|00001c40| 20 20 20 20 74 68 65 6f | 72 65 6d 20 63 6f 75 6e | theo|rem coun|
|00001c50| 74 65 72 20 69 74 73 65 | 6c 66 2e 0a 25 20 5c 65 |ter itse|lf..% \e|
|00001c60| 6e 64 7b 64 65 73 63 72 | 69 70 74 69 6f 6e 7d 0a |nd{descr|iption}.|
|00001c70| 25 0a 25 20 5c 44 65 73 | 63 72 69 62 65 4d 61 63 |%.% \Des|cribeMac|
|00001c80| 72 6f 5c 74 68 65 6f 72 | 65 6d 73 74 79 6c 65 0a |ro\theor|emstyle.|
|00001c90| 25 20 41 64 64 69 74 69 | 6f 6e 61 6c 6c 79 2c 20 |% Additi|onally, |
|00001ca0| 74 68 65 20 63 6f 6d 6d | 61 6e 64 20 7c 5c 74 68 |the comm|and |\th|
|00001cb0| 65 6f 72 65 6d 73 74 79 | 6c 65 7c 20 63 61 6e 20 |eoremsty|le| can |
|00001cc0| 64 65 66 69 6e 65 20 74 | 68 65 20 6c 61 79 6f 75 |define t|he layou|
|00001cd0| 74 0a 25 20 6f 66 20 76 | 61 72 69 6f 75 73 2c 20 |t.% of v|arious, |
|00001ce0| 6f 72 20 61 6c 6c 2c 20 | 74 68 65 6f 72 65 6d 20 |or all, |theorem |
|00001cf0| 73 65 74 73 2e 20 20 49 | 74 20 73 68 6f 75 6c 64 |sets. I|t should|
|00001d00| 20 62 65 20 6e 6f 74 65 | 64 20 74 68 61 74 20 61 | be note|d that a|
|00001d10| 6e 79 0a 25 20 74 68 65 | 6f 72 65 6d 20 73 65 74 |ny.% the|orem set|
|00001d20| 20 64 65 66 69 6e 65 64 | 20 62 79 20 7c 5c 6e 65 | defined| by |\ne|
|00001d30| 77 74 68 65 6f 72 65 6d | 7c 20 69 73 20 74 79 70 |wtheorem|| is typ|
|00001d40| 65 73 65 74 20 69 6e 20 | 74 68 65 0a 25 20 7c 5c |eset in |the.% |\|
|00001d50| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 7c 20 74 68 |theorems|tyle| th|
|00001d60| 61 74 20 69 73 20 63 75 | 72 72 65 6e 74 20 61 74 |at is cu|rrent at|
|00001d70| 20 74 68 65 20 74 69 6d | 65 20 6f 66 20 74 68 65 | the tim|e of the|
|00001d80| 20 64 65 66 69 6e 69 74 | 69 6f 6e 2e 0a 25 20 54 | definit|ion..% T|
|00001d90| 68 75 73 2c 20 74 68 65 | 20 66 6f 6c 6c 6f 77 69 |hus, the| followi|
|00001da0| 6e 67 0a 25 20 5c 62 65 | 67 69 6e 7b 76 65 72 62 |ng.% \be|gin{verb|
|00001db0| 61 74 69 6d 7d 0a 25 20 | 20 20 20 5c 74 68 65 6f |atim}.% | \theo|
|00001dc0| 72 65 6d 73 74 79 6c 65 | 7b 62 72 65 61 6b 7d 20 |remstyle|{break} |
|00001dd0| 20 20 20 20 20 20 20 5c | 6e 65 77 74 68 65 6f 72 | \|newtheor|
|00001de0| 65 6d 7b 43 6f 72 7d 7b | 43 6f 72 6f 6c 6c 61 72 |em{Cor}{|Corollar|
|00001df0| 79 7d 0a 25 20 20 20 20 | 5c 74 68 65 6f 72 65 6d |y}.% |\theorem|
|00001e00| 73 74 79 6c 65 7b 70 6c | 61 69 6e 7d 20 20 20 20 |style{pl|ain} |
|00001e10| 20 20 20 20 5c 6e 65 77 | 74 68 65 6f 72 65 6d 7b | \new|theorem{|
|00001e20| 45 78 61 7d 7b 45 78 61 | 6d 70 6c 65 7d 5b 73 65 |Exa}{Exa|mple}[se|
|00001e30| 63 74 69 6f 6e 5d 0a 25 | 5c 65 6e 64 7b 76 65 72 |ction].%|\end{ver|
|00001e40| 62 61 74 69 6d 7d 20 20 | 20 20 20 20 20 20 20 20 |batim} | |
|00001e50| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001e60| 20 20 20 5e 5e 41 20 4e | 6f 20 62 6c 61 6e 6b 20 | ^^A N|o blank |
|00001e70| 61 74 20 6c 69 6e 65 20 | 73 74 61 72 74 0a 25 20 |at line |start.% |
|00001e80| 6c 65 61 64 73 20 74 6f | 20 74 68 65 20 72 65 73 |leads to| the res|
|00001e90| 75 6c 74 20 74 68 61 74 | 20 74 68 65 20 73 65 74 |ult that| the set|
|00001ea0| 20 7b 5c 65 6e 76 66 6f | 6e 74 20 43 6f 72 7d 20 | {\envfo|nt Cor} |
|00001eb0| 69 73 20 66 6f 72 6d 61 | 74 74 65 64 20 69 6e 20 |is forma|tted in |
|00001ec0| 74 68 65 0a 25 20 73 74 | 79 6c 65 20 5c 74 65 78 |the.% st|yle \tex|
|00001ed0| 74 74 74 7b 62 72 65 61 | 6b 7d 2c 20 77 68 69 6c |ttt{brea|k}, whil|
|00001ee0| 65 20 74 68 65 20 73 65 | 74 20 7b 5c 65 6e 76 66 |e the se|t {\envf|
|00001ef0| 6f 6e 74 20 45 78 61 7d | 20 61 6e 64 20 61 6c 6c |ont Exa}| and all|
|00001f00| 20 74 68 65 0a 25 20 66 | 6f 6c 6c 6f 77 69 6e 67 | the.% f|ollowing|
|00001f10| 20 6f 6e 65 73 20 61 72 | 65 20 66 6f 72 6d 61 74 | ones ar|e format|
|00001f20| 74 65 64 20 69 6e 20 74 | 68 65 20 73 74 79 6c 65 |ted in t|he style|
|00001f30| 20 5c 74 65 78 74 74 74 | 7b 70 6c 61 69 6e 7d 2c | \texttt|{plain},|
|00001f40| 20 75 6e 6c 65 73 73 0a | 25 20 61 6e 6f 74 68 65 | unless.|% anothe|
|00001f50| 72 20 7c 5c 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |r |\theo|remstyle|
|00001f60| 7c 20 66 6f 6c 6c 6f 77 | 73 2e 20 20 53 69 6e 63 || follow|s. Sinc|
|00001f70| 65 20 74 68 65 20 64 65 | 66 69 6e 69 74 69 6f 6e |e the de|finition|
|00001f80| 73 20 69 6e 73 74 61 6c | 6c 65 64 20 62 79 0a 25 |s instal|led by.%|
|00001f90| 20 7c 5c 6e 65 77 74 68 | 65 6f 72 65 6d 7c 20 61 | |\newth|eorem| a|
|00001fa0| 72 65 20 67 6c 6f 62 61 | 6c 2c 20 6f 6e 65 20 61 |re globa|l, one a|
|00001fb0| 6c 73 6f 20 63 61 6e 20 | 6c 69 6d 69 74 20 7c 5c |lso can |limit |\|
|00001fc0| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 7c 20 6c 6f |theorems|tyle| lo|
|00001fd0| 63 61 6c 6c 79 0a 25 20 | 62 79 20 67 72 6f 75 70 |cally.% |by group|
|00001fe0| 69 6e 67 20 62 72 61 63 | 65 73 2e 0a 25 0a 25 20 |ing brac|es..%.% |
|00001ff0| 5c 44 65 73 63 72 69 62 | 65 4d 61 63 72 6f 5c 74 |\Describ|eMacro\t|
|00002000| 68 65 6f 72 65 6d 62 6f | 64 79 66 6f 6e 74 0a 25 |heorembo|dyfont.%|
|00002010| 20 54 68 65 20 63 68 6f | 69 63 65 20 6f 66 20 74 | The cho|ice of t|
|00002020| 68 65 20 66 6f 6e 74 20 | 66 6f 72 20 74 68 65 20 |he font |for the |
|00002030| 74 68 65 6f 72 65 6d 20 | 62 6f 64 79 20 69 73 20 |theorem |body is |
|00002040| 63 6f 6d 70 6c 65 74 65 | 6c 79 0a 25 20 69 6e 64 |complete|ly.% ind|
|00002050| 65 70 65 6e 64 65 6e 74 | 20 6f 66 20 74 68 65 20 |ependent| of the |
|00002060| 63 68 6f 73 65 6e 20 7c | 5c 74 68 65 6f 72 65 6d |chosen ||\theorem|
|00002070| 73 74 79 6c 65 7c 3b 20 | 74 68 69 73 20 68 61 73 |style|; |this has|
|00002080| 20 70 72 6f 76 65 6e 20 | 74 6f 0a 25 20 62 65 20 | proven |to.% be |
|00002090| 76 65 72 79 20 61 64 76 | 61 6e 74 61 67 65 6f 75 |very adv|antageou|
|000020a0| 73 2e 20 20 46 6f 72 20 | 65 78 61 6d 70 6c 65 2c |s. For |example,|
|000020b0| 0a 25 20 5c 62 65 67 69 | 6e 7b 76 65 72 62 61 74 |.% \begi|n{verbat|
|000020c0| 69 6d 7d 0a 25 20 20 20 | 7b 5c 74 68 65 6f 72 65 |im}.% |{\theore|
|000020d0| 6d 62 6f 64 79 66 6f 6e | 74 7b 5c 75 70 73 68 61 |mbodyfon|t{\upsha|
|000020e0| 70 65 7d 20 20 20 20 20 | 20 20 20 20 20 5c 6e 65 |pe} | \ne|
|000020f0| 77 74 68 65 6f 72 65 6d | 7b 52 65 6d 7d 7b 52 65 |wtheorem|{Rem}{Re|
|00002100| 6d 61 72 6b 7d 7d 0a 25 | 5c 65 6e 64 7b 76 65 72 |mark}}.%|\end{ver|
|00002110| 62 61 74 69 6d 7d 0a 25 | 20 64 65 66 69 6e 65 73 |batim}.%| defines|
|00002120| 20 61 20 74 68 65 6f 72 | 65 6d 20 73 65 74 20 7b | a theor|em set {|
|00002130| 5c 65 6e 76 66 6f 6e 74 | 20 52 65 6d 7d 2c 20 77 |\envfont| Rem}, w|
|00002140| 68 69 63 68 20 77 69 6c | 6c 20 62 65 20 73 65 74 |hich wil|l be set|
|00002150| 20 69 6e 0a 25 20 7c 5c | 75 70 73 68 61 70 65 7c | in.% |\|upshape||
|00002160| 20 69 6e 20 74 68 65 20 | 63 75 72 72 65 6e 74 20 | in the |current |
|00002170| 6c 61 79 6f 75 74 20 28 | 77 68 69 63 68 20 69 6e |layout (|which in|
|00002180| 20 6f 75 72 20 65 78 61 | 6d 70 6c 65 20 69 73 0a | our exa|mple is.|
|00002190| 25 20 5c 74 65 78 74 74 | 74 7b 70 6c 61 69 6e 7d |% \textt|t{plain}|
|000021a0| 29 2e 20 20 41 73 20 77 | 69 74 68 20 7c 5c 74 68 |). As w|ith |\th|
|000021b0| 65 6f 72 65 6d 73 74 79 | 6c 65 7c 2c 20 74 68 65 |eoremsty|le|, the|
|000021c0| 20 7c 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f | |\theor|embodyfo|
|000021d0| 6e 74 7c 0a 25 20 63 68 | 6f 73 65 6e 20 69 73 20 |nt|.% ch|osen is |
|000021e0| 74 68 61 74 20 63 75 72 | 72 65 6e 74 20 61 74 20 |that cur|rent at |
|000021f0| 74 68 65 20 74 69 6d 65 | 20 6f 66 20 7c 5c 6e 65 |the time| of |\ne|
|00002200| 77 74 68 65 6f 72 65 6d | 7c 2e 20 20 49 66 0a 25 |wtheorem||. If.%|
|00002210| 20 7c 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f | |\theor|embodyfo|
|00002220| 6e 74 7c 20 69 73 20 6e | 6f 74 20 73 70 65 63 69 |nt| is n|ot speci|
|00002230| 66 69 65 64 20 6f 72 20 | 6f 6e 65 20 64 65 66 69 |fied or |one defi|
|00002240| 6e 65 73 0a 25 20 7c 5c | 74 68 65 6f 72 65 6d 62 |nes.% |\|theoremb|
|00002250| 6f 64 79 66 6f 6e 74 7b | 7d 7c 2c 20 74 68 65 6e |odyfont{|}|, then|
|00002260| 20 74 68 65 20 66 6f 6e | 74 20 75 73 65 64 20 77 | the fon|t used w|
|00002270| 69 6c 6c 20 62 65 20 74 | 68 61 74 20 64 65 66 69 |ill be t|hat defi|
|00002280| 6e 65 64 20 62 79 20 74 | 68 65 0a 25 20 7c 5c 74 |ned by t|he.% |\t|
|00002290| 68 65 6f 72 65 6d 73 74 | 79 6c 65 7c 2e 0a 25 0a |heoremst|yle|..%.|
|000022a0| 25 20 5c 44 65 73 63 72 | 69 62 65 4d 61 63 72 6f |% \Descr|ibeMacro|
|000022b0| 5c 74 68 65 6f 72 65 6d | 68 65 61 64 65 72 66 6f |\theorem|headerfo|
|000022c0| 6e 74 20 49 74 20 69 73 | 20 61 6c 73 6f 20 70 6f |nt It is| also po|
|000022d0| 73 73 69 62 6c 65 20 74 | 6f 20 63 75 73 74 6f 6d |ssible t|o custom|
|000022e0| 69 7a 65 0a 25 20 74 68 | 65 20 66 6f 6e 74 20 75 |ize.% th|e font u|
|000022f0| 73 65 64 20 66 6f 72 20 | 74 68 65 20 74 68 65 6f |sed for |the theo|
|00002300| 72 65 6d 20 68 65 61 64 | 65 72 73 2e 20 20 54 68 |rem head|ers. Th|
|00002310| 69 73 20 69 73 2c 20 68 | 6f 77 65 76 65 72 2c 20 |is is, h|owever, |
|00002320| 61 20 67 6c 6f 62 61 6c | 0a 25 20 64 65 63 6c 61 |a global|.% decla|
|00002330| 72 61 74 69 6f 6e 2c 20 | 61 6e 64 20 74 68 65 72 |ration, |and ther|
|00002340| 65 66 6f 72 65 20 74 68 | 65 72 65 20 73 68 6f 75 |efore th|ere shou|
|00002350| 6c 64 20 62 65 20 61 74 | 20 6d 6f 73 74 20 6f 6e |ld be at| most on|
|00002360| 65 0a 25 20 7c 5c 74 68 | 65 6f 72 65 6d 68 65 61 |e.% |\th|eoremhea|
|00002370| 64 65 72 66 6f 6e 74 7c | 20 64 65 63 6c 61 72 61 |derfont|| declara|
|00002380| 74 69 6f 6e 20 69 6e 20 | 74 68 65 20 70 72 65 61 |tion in |the prea|
|00002390| 6d 62 6c 65 2e 5c 66 6f | 6f 74 6e 6f 74 65 7b 49 |mble.\fo|otnote{I|
|000023a0| 66 20 69 74 20 69 73 0a | 25 20 61 63 74 75 61 6c |f it is.|% actual|
|000023b0| 6c 79 20 6e 65 63 65 73 | 73 61 72 79 20 74 6f 20 |ly neces|sary to |
|000023c0| 68 61 76 65 20 64 69 66 | 66 65 72 65 6e 74 20 68 |have dif|ferent h|
|000023d0| 65 61 64 65 72 20 66 6f | 6e 74 73 2c 20 6f 6e 65 |eader fo|nts, one|
|000023e0| 20 68 61 73 20 74 6f 20 | 64 65 66 69 6e 65 0a 25 | has to |define.%|
|000023f0| 20 6e 65 77 20 74 68 65 | 6f 72 65 6d 20 73 74 79 | new the|orem sty|
|00002400| 6c 65 73 20 28 73 75 62 | 73 74 69 74 75 74 69 6e |les (sub|stitutin|
|00002410| 67 20 74 68 65 20 64 65 | 73 69 72 65 64 20 66 6f |g the de|sired fo|
|00002420| 6e 74 29 20 6f 72 20 73 | 70 65 63 69 66 79 20 74 |nt) or s|pecify t|
|00002430| 68 65 0a 25 20 69 6e 66 | 6f 72 6d 61 74 69 6f 6e |he.% inf|ormation|
|00002440| 20 64 69 72 65 63 74 6c | 79 20 69 6e 20 74 68 65 | directl|y in the|
|00002450| 20 5c 74 65 78 74 74 74 | 7b 5c 62 73 6c 61 73 68 | \texttt|{\bslash|
|00002460| 20 6e 65 77 74 68 65 6f | 72 65 6d 7d 20 64 65 63 | newtheo|rem} dec|
|00002470| 6c 61 72 61 74 69 6f 6e | 0a 25 20 28 74 68 65 20 |laration|.% (the |
|00002480| 75 6e 63 6c 65 61 6e 20 | 76 61 72 69 61 6e 74 29 |unclean |variant)|
|00002490| 2e 7d 0a 25 0a 25 20 5c | 44 65 73 63 72 69 62 65 |.}.%.% \|Describe|
|000024a0| 4d 61 63 72 6f 5c 74 68 | 65 6f 72 65 6d 70 72 65 |Macro\th|eorempre|
|000024b0| 73 6b 69 70 61 6d 6f 75 | 6e 74 0a 25 20 5c 44 65 |skipamou|nt.% \De|
|000024c0| 73 63 72 69 62 65 4d 61 | 63 72 6f 5c 74 68 65 6f |scribeMa|cro\theo|
|000024d0| 72 65 6d 70 6f 73 74 73 | 6b 69 70 61 6d 6f 75 6e |remposts|kipamoun|
|000024e0| 74 20 54 77 6f 20 61 64 | 64 69 74 69 6f 6e 61 6c |t Two ad|ditional|
|000024f0| 20 70 61 72 61 6d 65 74 | 65 72 73 0a 25 20 61 66 | paramet|ers.% af|
|00002500| 66 65 63 74 20 74 68 65 | 20 76 65 72 74 69 63 61 |fect the| vertica|
|00002510| 6c 20 73 70 61 63 65 20 | 61 72 6f 75 6e 64 20 74 |l space |around t|
|00002520| 68 65 20 74 68 65 6f 72 | 65 6d 20 65 6e 76 69 72 |he theor|em envir|
|00002530| 6f 6e 6d 65 6e 74 73 3a | 0a 25 20 7c 5c 74 68 65 |onments:|.% |\the|
|00002540| 6f 72 65 6d 70 72 65 73 | 6b 69 70 61 6d 6f 75 6e |orempres|kipamoun|
|00002550| 74 7c 20 61 6e 64 20 7c | 5c 74 68 65 6f 72 65 6d |t| and ||\theorem|
|00002560| 70 6f 73 74 73 6b 69 70 | 61 6d 6f 75 6e 74 7c 20 |postskip|amount| |
|00002570| 64 65 66 69 6e 65 2c 0a | 25 20 72 65 73 70 65 63 |define,.|% respec|
|00002580| 74 69 76 65 6c 79 2c 20 | 74 68 65 20 73 70 61 63 |tively, |the spac|
|00002590| 69 6e 67 20 62 65 66 6f | 72 65 20 61 6e 64 20 61 |ing befo|re and a|
|000025a0| 66 74 65 72 20 73 75 63 | 68 20 61 6e 20 65 6e 76 |fter suc|h an env|
|000025b0| 69 72 6f 6e 6d 65 6e 74 | 2e 0a 25 20 54 68 65 73 |ironment|..% Thes|
|000025c0| 65 20 70 61 72 61 6d 65 | 74 65 72 73 20 61 70 70 |e parame|ters app|
|000025d0| 6c 79 20 66 6f 72 20 61 | 6c 6c 20 74 68 65 6f 72 |ly for a|ll theor|
|000025e0| 65 6d 20 73 65 74 73 20 | 61 6e 64 20 63 61 6e 20 |em sets |and can |
|000025f0| 62 65 20 6d 61 6e 69 70 | 75 6c 61 74 65 64 0a 25 |be manip|ulated.%|
|00002600| 20 77 69 74 68 20 74 68 | 65 20 6f 72 64 69 6e 61 | with th|e ordina|
|00002610| 72 79 20 6c 65 6e 67 74 | 68 20 6d 61 63 72 6f 73 |ry lengt|h macros|
|00002620| 2e 20 20 54 68 65 79 20 | 61 72 65 20 72 75 62 62 |. They |are rubb|
|00002630| 65 72 20 6c 65 6e 67 74 | 68 73 2c 0a 25 20 28 60 |er lengt|hs,.% (`|
|00002640| 5c 74 65 78 74 73 66 7b | 73 6b 69 70 73 7d 27 29 |\textsf{|skips}')|
|00002650| 2c 20 61 6e 64 20 74 68 | 65 72 65 66 6f 72 65 20 |, and th|erefore |
|00002660| 63 61 6e 20 63 6f 6e 74 | 61 69 6e 20 5c 74 65 78 |can cont|ain \tex|
|00002670| 74 74 74 7b 70 6c 75 73 | 7d 20 61 6e 64 0a 25 20 |ttt{plus|} and.% |
|00002680| 5c 74 65 78 74 74 74 7b | 6d 69 6e 75 73 7d 20 70 |\texttt{|minus} p|
|00002690| 61 72 74 73 2e 0a 25 0a | 25 20 53 69 6e 63 65 20 |arts..%.|% Since |
|000026a0| 74 68 65 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 6f |the defi|nition o|
|000026b0| 66 20 74 68 65 6f 72 65 | 6d 20 73 65 74 73 20 73 |f theore|m sets s|
|000026c0| 68 6f 75 6c 64 2d 2d 2d | 6d 6f 73 74 20 73 65 6e |hould---|most sen|
|000026d0| 73 69 62 6c 79 2d 2d 2d | 62 65 0a 25 20 70 6c 61 |sibly---|be.% pla|
|000026e0| 63 65 64 20 69 6e 20 74 | 68 65 20 70 72 65 61 6d |ced in t|he pream|
|000026f0| 62 6c 65 2c 20 77 65 20 | 6f 6e 6c 79 20 61 6c 6c |ble, we |only all|
|00002700| 6f 77 20 69 6e 73 74 61 | 6c 6c 61 74 69 6f 6e 20 |ow insta|llation |
|00002710| 74 68 65 72 65 2e 0a 25 | 20 49 74 20 69 73 20 74 |there..%| It is t|
|00002720| 68 65 72 65 66 6f 72 65 | 20 70 6f 73 73 69 62 6c |herefore| possibl|
|00002730| 65 20 74 6f 20 72 65 6c | 65 61 73 65 20 74 68 65 |e to rel|ease the|
|00002740| 20 6d 65 6d 6f 72 79 20 | 75 73 65 64 20 68 65 72 | memory |used her|
|00002750| 65 20 61 66 74 65 72 0a | 25 20 7c 5c 62 65 67 69 |e after.|% |\begi|
|00002760| 6e 7b 64 6f 63 75 6d 65 | 6e 74 7d 7c 2c 20 69 6e |n{docume|nt}|, in|
|00002770| 20 6f 72 64 65 72 20 74 | 6f 20 6d 61 6b 65 20 72 | order t|o make r|
|00002780| 6f 6f 6d 20 66 6f 72 20 | 6f 74 68 65 72 0a 25 20 |oom for |other.% |
|00002790| 61 70 70 6c 69 63 61 74 | 69 6f 6e 73 2e 0a 25 0a |applicat|ions..%.|
|000027a0| 25 0a 25 20 5c 73 75 62 | 73 65 63 74 69 6f 6e 7b |%.% \sub|section{|
|000027b0| 45 78 69 73 74 69 6e 67 | 20 74 68 65 6f 72 65 6d |Existing| theorem|
|000027c0| 20 73 74 79 6c 65 73 7d | 0a 25 0a 25 20 54 68 65 | styles}|.%.% The|
|000027d0| 20 66 6f 6c 6c 6f 77 69 | 6e 67 20 74 68 65 6f 72 | followi|ng theor|
|000027e0| 65 6d 20 73 74 79 6c 65 | 73 20 65 78 69 73 74 20 |em style|s exist |
|000027f0| 74 6f 20 64 61 74 65 3a | 0a 25 20 5c 62 65 67 69 |to date:|.% \begi|
|00002800| 6e 7b 64 65 66 6c 69 73 | 74 7d 7b 6d 61 72 67 69 |n{deflis|t}{margi|
|00002810| 6e 62 72 65 61 6b 7d 0a | 25 20 20 20 20 5c 69 74 |nbreak}.|% \it|
|00002820| 65 6d 5b 70 6c 61 69 6e | 5d 0a 25 20 20 20 20 20 |em[plain|].% |
|00002830| 20 20 54 68 69 73 20 74 | 68 65 6f 72 65 6d 20 73 | This t|heorem s|
|00002840| 74 79 6c 65 20 65 6d 75 | 6c 61 74 65 73 20 74 68 |tyle emu|lates th|
|00002850| 65 20 6f 72 69 67 69 6e | 61 6c 20 5c 4c 61 54 65 |e origin|al \LaTe|
|00002860| 58 7b 7d 20 64 65 66 69 | 6e 69 74 69 6f 6e 2c 0a |X{} defi|nition,.|
|00002870| 25 20 20 20 20 20 20 20 | 65 78 63 65 70 74 20 74 |% |except t|
|00002880| 68 61 74 20 61 64 64 69 | 74 69 6f 6e 61 6c 6c 79 |hat addi|tionally|
|00002890| 20 74 68 65 20 70 61 72 | 61 6d 65 74 65 72 73 0a | the par|ameters.|
|000028a0| 25 20 20 20 20 20 20 20 | 7c 5c 74 68 65 6f 72 65 |% ||\theore|
|000028b0| 6d 2e 2e 2e 73 6b 69 70 | 61 6d 6f 75 6e 74 7c 20 |m...skip|amount| |
|000028c0| 61 72 65 20 75 73 65 64 | 2e 0a 25 20 20 20 20 5c |are used|..% \|
|000028d0| 69 74 65 6d 5b 62 72 65 | 61 6b 5d 0a 25 20 20 20 |item[bre|ak].% |
|000028e0| 20 20 20 20 49 6e 20 74 | 68 69 73 20 73 74 79 6c | In t|his styl|
|000028f0| 65 2c 20 74 68 65 20 74 | 68 65 6f 72 65 6d 20 68 |e, the t|heorem h|
|00002900| 65 61 64 65 72 20 69 73 | 20 66 6f 6c 6c 6f 77 65 |eader is| followe|
|00002910| 64 20 62 79 20 61 20 6c | 69 6e 65 0a 25 20 20 20 |d by a l|ine.% |
|00002920| 20 20 20 20 62 72 65 61 | 6b 2e 0a 25 20 20 20 20 | brea|k..% |
|00002930| 5c 69 74 65 6d 5b 6d 61 | 72 67 69 6e 62 72 65 61 |\item[ma|rginbrea|
|00002940| 6b 5d 0a 25 20 20 20 20 | 20 20 20 54 68 65 20 74 |k].% | The t|
|00002950| 68 65 6f 72 65 6d 20 6e | 75 6d 62 65 72 20 69 73 |heorem n|umber is|
|00002960| 20 73 65 74 20 69 6e 20 | 74 68 65 20 6d 61 72 67 | set in |the marg|
|00002970| 69 6e 2c 20 61 6e 64 20 | 74 68 65 72 65 20 69 73 |in, and |there is|
|00002980| 20 61 20 6c 69 6e 65 0a | 25 20 20 20 20 20 20 20 | a line.|% |
|00002990| 62 72 65 61 6b 20 61 73 | 20 69 6e 20 5c 74 65 78 |break as| in \tex|
|000029a0| 74 74 74 7b 62 72 65 61 | 6b 7d 2e 0a 25 20 20 20 |ttt{brea|k}..% |
|000029b0| 20 5c 69 74 65 6d 5b 63 | 68 61 6e 67 65 62 72 65 | \item[c|hangebre|
|000029c0| 61 6b 5d 0a 25 20 20 20 | 20 20 20 20 4c 69 6b 65 |ak].% | Like|
|000029d0| 20 5c 74 65 78 74 74 74 | 7b 62 72 65 61 6b 7d 2c | \texttt|{break},|
|000029e0| 20 62 75 74 20 77 69 74 | 68 20 68 65 61 64 65 72 | but wit|h header|
|000029f0| 20 6e 75 6d 62 65 72 20 | 61 6e 64 20 74 65 78 74 | number |and text|
|00002a00| 20 0a 25 20 20 20 20 20 | 20 20 69 6e 74 65 72 63 | .% | interc|
|00002a10| 68 61 6e 67 65 64 2e 0a | 25 20 20 20 20 5c 69 74 |hanged..|% \it|
|00002a20| 65 6d 5b 63 68 61 6e 67 | 65 5d 0a 25 20 20 20 20 |em[chang|e].% |
|00002a30| 20 20 20 48 65 61 64 65 | 72 20 6e 75 6d 62 65 72 | Heade|r number|
|00002a40| 20 61 6e 64 20 74 65 78 | 74 20 61 72 65 20 69 6e | and tex|t are in|
|00002a50| 74 65 72 63 68 61 6e 67 | 65 64 2c 20 77 69 74 68 |terchang|ed, with|
|00002a60| 6f 75 74 20 61 20 6c 69 | 6e 65 20 62 72 65 61 6b |out a li|ne break|
|00002a70| 2e 0a 25 20 20 20 20 5c | 69 74 65 6d 5b 6d 61 72 |..% \|item[mar|
|00002a80| 67 69 6e 5d 0a 25 20 20 | 20 20 20 20 20 54 68 65 |gin].% | The|
|00002a90| 20 6e 75 6d 62 65 72 20 | 69 73 20 73 65 74 20 69 | number |is set i|
|00002aa0| 6e 20 74 68 65 20 6c 65 | 66 74 20 6d 61 72 67 69 |n the le|ft margi|
|00002ab0| 6e 2c 20 77 69 74 68 6f | 75 74 20 61 20 6c 69 6e |n, witho|ut a lin|
|00002ac0| 65 20 62 72 65 61 6b 2e | 0a 25 20 5c 65 6e 64 7b |e break.|.% \end{|
|00002ad0| 64 65 66 6c 69 73 74 7d | 0a 25 20 41 6c 6c 20 73 |deflist}|.% All s|
|00002ae0| 74 79 6c 65 73 20 28 65 | 78 63 65 70 74 20 5c 74 |tyles (e|xcept \t|
|00002af0| 65 78 74 74 74 7b 70 6c | 61 69 6e 7d 29 20 73 65 |exttt{pl|ain}) se|
|00002b00| 6c 65 63 74 20 7c 5c 73 | 6c 73 68 61 70 65 7c 20 |lect |\s|lshape| |
|00002b10| 61 73 20 74 68 65 20 64 | 65 66 61 75 6c 74 0a 25 |as the d|efault.%|
|00002b20| 20 7c 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f | |\theor|embodyfo|
|00002b30| 6e 74 7c 2e 0a 25 20 0a | 25 0a 25 20 5c 73 75 62 |nt|..% .|%.% \sub|
|00002b40| 73 65 63 74 69 6f 6e 7b | 45 78 61 6d 70 6c 65 73 |section{|Examples|
|00002b50| 7d 0a 25 0a 25 20 47 69 | 76 65 6e 20 74 68 65 20 |}.%.% Gi|ven the |
|00002b60| 61 62 6f 76 65 20 74 68 | 65 6f 72 65 6d 20 73 65 |above th|eorem se|
|00002b70| 74 73 20 7b 5c 65 6e 76 | 66 6f 6e 74 20 43 6f 72 |ts {\env|font Cor|
|00002b80| 7d 2c 20 7b 5c 65 6e 76 | 66 6f 6e 74 20 45 78 61 |}, {\env|font Exa|
|00002b90| 7d 0a 25 20 61 6e 64 20 | 7b 5c 65 6e 76 66 6f 6e |}.% and |{\envfon|
|00002ba0| 74 20 52 65 6d 7d 2c 0a | 25 20 73 75 70 70 6f 73 |t Rem},.|% suppos|
|00002bb0| 65 20 74 68 61 74 20 74 | 68 65 20 70 72 65 61 6d |e that t|he pream|
|00002bc0| 62 6c 65 20 61 6c 73 6f | 20 63 6f 6e 74 61 69 6e |ble also| contain|
|00002bd0| 73 20 74 68 65 20 64 65 | 63 6c 61 72 61 74 69 6f |s the de|claratio|
|00002be0| 6e 73 3a 0a 25 20 5c 62 | 65 67 69 6e 7b 76 65 72 |ns:.% \b|egin{ver|
|00002bf0| 62 61 74 69 6d 7d 0a 25 | 20 20 20 20 5c 74 68 65 |batim}.%| \the|
|00002c00| 6f 72 65 6d 73 74 79 6c | 65 7b 6d 61 72 67 69 6e |oremstyl|e{margin|
|00002c10| 62 72 65 61 6b 7d 20 20 | 20 5c 6e 65 77 74 68 65 |break} | \newthe|
|00002c20| 6f 72 65 6d 7b 4c 65 6d | 7d 5b 43 6f 72 5d 7b 4c |orem{Lem|}[Cor]{L|
|00002c30| 65 6d 6d 61 7d 0a 25 20 | 20 20 20 5c 74 68 65 6f |emma}.% | \theo|
|00002c40| 72 65 6d 73 74 79 6c 65 | 7b 63 68 61 6e 67 65 7d |remstyle|{change}|
|00002c50| 0a 25 20 20 20 20 5c 74 | 68 65 6f 72 65 6d 62 6f |.% \t|heorembo|
|00002c60| 64 79 66 6f 6e 74 7b 5c | 69 74 73 68 61 70 65 7d |dyfont{\|itshape}|
|00002c70| 20 20 20 20 20 20 20 20 | 5c 6e 65 77 74 68 65 6f | |\newtheo|
|00002c80| 72 65 6d 7b 44 65 66 7d | 5b 43 6f 72 5d 7b 44 65 |rem{Def}|[Cor]{De|
|00002c90| 66 69 6e 69 74 69 6f 6e | 7d 0a 25 0a 25 20 20 20 |finition|}.%.% |
|00002ca0| 20 5c 74 68 65 6f 72 65 | 6d 68 65 61 64 65 72 66 | \theore|mheaderf|
|00002cb0| 6f 6e 74 7b 5c 73 63 73 | 68 61 70 65 7d 0a 25 5c |ont{\scs|hape}.%\|
|00002cc0| 65 6e 64 7b 76 65 72 62 | 61 74 69 6d 7d 0a 25 20 |end{verb|atim}.% |
|00002cd0| 54 68 65 6e 20 74 68 65 | 20 66 6f 6c 6c 6f 77 69 |Then the| followi|
|00002ce0| 6e 67 20 61 72 65 20 73 | 6f 6d 65 20 74 79 70 69 |ng are s|ome typi|
|00002cf0| 63 61 6c 20 65 78 61 6d | 70 6c 65 73 20 6f 66 20 |cal exam|ples of |
|00002d00| 74 68 65 20 74 79 70 65 | 73 65 74 20 6f 75 74 70 |the type|set outp|
|00002d10| 75 74 0a 25 20 72 65 73 | 75 6c 74 69 6e 67 20 66 |ut.% res|ulting f|
|00002d20| 72 6f 6d 20 74 68 65 69 | 72 20 75 73 65 2e 0a 25 |rom thei|r use..%|
|00002d30| 0a 25 20 5c 62 65 67 69 | 6e 7b 43 6f 72 7d 0a 25 |.% \begi|n{Cor}.%|
|00002d40| 20 20 20 20 54 68 69 73 | 20 69 73 20 61 20 73 65 | This| is a se|
|00002d50| 6e 74 65 6e 63 65 20 74 | 79 70 65 73 65 74 20 69 |ntence t|ypeset i|
|00002d60| 6e 20 74 68 65 20 74 68 | 65 6f 72 65 6d 20 65 6e |n the th|eorem en|
|00002d70| 76 69 72 6f 6e 6d 65 6e | 74 20 7b 5c 65 6e 76 66 |vironmen|t {\envf|
|00002d80| 6f 6e 74 0a 25 20 20 20 | 20 43 6f 72 7d 2e 0a 25 |ont.% | Cor}..%|
|00002d90| 20 5c 65 6e 64 7b 43 6f | 72 7d 0a 25 0a 25 20 5c | \end{Co|r}.%.% \|
|00002da0| 62 65 67 69 6e 7b 45 78 | 61 7d 0a 25 20 20 20 20 |begin{Ex|a}.% |
|00002db0| 54 68 69 73 20 69 73 20 | 61 20 73 65 6e 74 65 6e |This is |a senten|
|00002dc0| 63 65 20 74 79 70 65 73 | 65 74 20 69 6e 20 74 68 |ce types|et in th|
|00002dd0| 65 20 74 68 65 6f 72 65 | 6d 20 65 6e 76 69 72 6f |e theore|m enviro|
|00002de0| 6e 6d 65 6e 74 20 7b 5c | 65 6e 76 66 6f 6e 74 0a |nment {\|envfont.|
|00002df0| 25 20 20 20 20 45 78 61 | 7d 2e 0a 25 20 5c 65 6e |% Exa|}..% \en|
|00002e00| 64 7b 45 78 61 7d 0a 25 | 0a 25 20 5c 62 65 67 69 |d{Exa}.%|.% \begi|
|00002e10| 6e 7b 52 65 6d 7d 0a 25 | 20 20 20 20 54 68 69 73 |n{Rem}.%| This|
|00002e20| 20 69 73 20 61 20 73 65 | 6e 74 65 6e 63 65 20 74 | is a se|ntence t|
|00002e30| 79 70 65 73 65 74 20 69 | 6e 20 74 68 65 20 74 68 |ypeset i|n the th|
|00002e40| 65 6f 72 65 6d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |eorem en|vironmen|
|00002e50| 74 20 7b 5c 65 6e 76 66 | 6f 6e 74 0a 25 20 20 20 |t {\envf|ont.% |
|00002e60| 20 52 65 6d 7d 2e 0a 25 | 20 5c 65 6e 64 7b 52 65 | Rem}..%| \end{Re|
|00002e70| 6d 7d 0a 25 0a 25 20 5c | 62 65 67 69 6e 7b 4c 65 |m}.%.% \|begin{Le|
|00002e80| 6d 7d 5b 42 65 6e 20 55 | 73 65 72 5d 0a 25 20 20 |m}[Ben U|ser].% |
|00002e90| 20 20 54 68 69 73 20 69 | 73 20 61 20 73 65 6e 74 | This i|s a sent|
|00002ea0| 65 6e 63 65 20 74 79 70 | 65 73 65 74 20 69 6e 20 |ence typ|eset in |
|00002eb0| 74 68 65 20 74 68 65 6f | 72 65 6d 20 65 6e 76 69 |the theo|rem envi|
|00002ec0| 72 6f 6e 6d 65 6e 74 20 | 7b 5c 65 6e 76 66 6f 6e |ronment |{\envfon|
|00002ed0| 74 0a 25 20 20 20 20 4c | 65 6d 7d 2e 0a 25 20 5c |t.% L|em}..% \|
|00002ee0| 65 6e 64 7b 4c 65 6d 7d | 0a 25 0a 25 20 5c 62 65 |end{Lem}|.%.% \be|
|00002ef0| 67 69 6e 7b 44 65 66 7d | 5b 56 65 72 79 20 69 6d |gin{Def}|[Very im|
|00002f00| 70 72 65 73 73 69 76 65 | 20 44 65 66 69 6e 69 74 |pressive| Definit|
|00002f10| 69 6f 6e 5d 0a 25 20 20 | 20 20 54 68 69 73 20 69 |ion].% | This i|
|00002f20| 73 20 61 20 73 65 6e 74 | 65 6e 63 65 20 74 79 70 |s a sent|ence typ|
|00002f30| 65 73 65 74 20 69 6e 20 | 74 68 65 20 74 68 65 6f |eset in |the theo|
|00002f40| 72 65 6d 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 20 |rem envi|ronment |
|00002f50| 7b 5c 65 6e 76 66 6f 6e | 74 0a 25 20 20 20 20 44 |{\envfon|t.% D|
|00002f60| 65 66 7d 2e 0a 25 20 5c | 65 6e 64 7b 44 65 66 7d |ef}..% \|end{Def}|
|00002f70| 0a 25 0a 25 20 54 68 65 | 20 6c 61 73 74 20 74 77 |.%.% The| last tw|
|00002f80| 6f 20 65 78 61 6d 70 6c | 65 73 20 73 68 6f 77 20 |o exampl|es show |
|00002f90| 74 68 65 20 65 66 66 65 | 63 74 20 6f 66 20 74 68 |the effe|ct of th|
|00002fa0| 65 20 6f 70 74 69 6f 6e | 61 6c 20 61 72 67 75 6d |e option|al argum|
|00002fb0| 65 6e 74 20 74 6f 0a 25 | 20 61 20 74 68 65 6f 72 |ent to.%| a theor|
|00002fc0| 65 6d 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 28 |em envir|onment (|
|00002fd0| 69 74 20 69 73 20 74 68 | 65 20 74 65 78 74 20 74 |it is th|e text t|
|00002fe0| 79 70 65 73 65 74 20 69 | 6e 20 70 61 72 65 6e 74 |ypeset i|n parent|
|00002ff0| 68 65 73 65 73 29 2e 0a | 25 0a 25 0a 25 20 5c 73 |heses)..|%.%.% \s|
|00003000| 65 63 74 69 6f 6e 7b 53 | 70 65 63 69 61 6c 20 43 |ection{S|pecial C|
|00003010| 6f 6e 73 69 64 65 72 61 | 74 69 6f 6e 73 7d 0a 25 |onsidera|tions}.%|
|00003020| 20 5c 6c 61 62 65 6c 7b | 73 65 63 3a 6e 65 77 66 | \label{|sec:newf|
|00003030| 6f 6e 74 73 7d 0a 25 0a | 25 20 54 68 65 6f 72 65 |onts}.%.|% Theore|
|00003040| 6d 68 65 61 64 65 72 20 | 61 6e 64 20 62 6f 64 79 |mheader |and body|
|00003050| 20 61 72 65 20 69 6d 70 | 6c 65 6d 65 6e 74 65 64 | are imp|lemented|
|00003060| 20 61 73 20 61 20 75 6e | 69 74 2e 20 54 68 69 73 | as a un|it. This|
|00003070| 20 6d 65 61 6e 73 20 74 | 68 61 74 0a 25 20 74 68 | means t|hat.% th|
|00003080| 65 20 7c 5c 74 68 65 6f | 72 65 6d 68 65 61 64 65 |e |\theo|remheade|
|00003090| 72 66 6f 6e 74 7c 20 20 | 77 69 6c 6c 20 69 6e 68 |rfont| |will inh|
|000030a0| 65 72 69 74 20 63 68 61 | 72 61 63 74 65 72 69 73 |erit cha|racteris|
|000030b0| 74 69 63 73 20 6f 66 20 | 74 68 65 0a 25 20 7c 5c |tics of |the.% |\|
|000030c0| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 7c |theoremb|odyfont||
|000030d0| 20 69 6e 20 5c 4c 61 54 | 65 58 65 2e 20 54 68 75 | in \LaT|eXe. Thu|
|000030e0| 73 2c 20 69 66 20 66 6f | 72 20 65 78 61 6d 70 6c |s, if fo|r exampl|
|000030f0| 65 0a 25 20 7c 5c 74 68 | 65 6f 72 65 6d 62 6f 64 |e.% |\th|eorembod|
|00003100| 79 66 6f 6e 74 7c 20 69 | 73 20 7c 5c 69 74 73 68 |yfont| i|s |\itsh|
|00003110| 61 70 65 7c 20 61 6e 64 | 20 7c 5c 74 68 65 6f 72 |ape| and| |\theor|
|00003120| 65 6d 68 65 61 64 65 72 | 66 6f 6e 74 7c 0a 25 20 |emheader|font|.% |
|00003130| 69 73 20 7c 5c 62 66 73 | 65 72 69 65 73 7c 20 74 |is |\bfs|eries| t|
|00003140| 68 65 20 66 6f 6e 74 20 | 73 65 6c 65 63 74 65 64 |he font |selected|
|00003150| 20 66 6f 72 20 74 68 65 | 20 68 65 61 64 65 72 20 | for the| header |
|00003160| 77 69 6c 6c 20 68 61 76 | 65 20 74 68 65 0a 25 20 |will hav|e the.% |
|00003170| 63 68 61 72 61 63 74 65 | 72 69 73 74 69 63 73 20 |characte|ristics |
|00003180| 60 62 6f 6c 64 20 65 78 | 74 65 6e 64 65 64 20 69 |`bold ex|tended i|
|00003190| 74 61 6c 69 63 27 2e 20 | 49 66 20 74 68 69 73 20 |talic'. |If this |
|000031a0| 69 73 20 6e 6f 74 20 64 | 65 73 69 72 65 64 20 6f |is not d|esired o|
|000031b0| 6e 65 0a 25 20 73 68 6f | 75 6c 64 20 73 65 74 20 |ne.% sho|uld set |
|000031c0| 74 68 65 20 7c 5c 74 68 | 65 6f 72 65 6d 68 65 61 |the |\th|eoremhea|
|000031d0| 64 65 72 66 6f 6e 74 7c | 20 74 6f 20 73 6f 6d 65 |derfont|| to some|
|000031e0| 74 68 69 6e 67 20 6c 69 | 6b 65 0a 25 20 5c 62 65 |thing li|ke.% \be|
|000031f0| 67 69 6e 7b 76 65 72 62 | 61 74 69 6d 7d 0a 25 20 |gin{verb|atim}.% |
|00003200| 20 20 20 20 20 5c 74 68 | 65 6f 72 65 6d 68 65 61 | \th|eoremhea|
|00003210| 64 65 72 66 6f 6e 74 7b | 5c 6e 6f 72 6d 61 6c 66 |derfont{|\normalf|
|00003220| 6f 6e 74 5c 62 66 73 65 | 72 69 65 73 7d 0a 25 5c |ont\bfse|ries}.%\|
|00003230| 65 6e 64 7b 76 65 72 62 | 61 74 69 6d 7d 0a 25 20 |end{verb|atim}.% |
|00003240| 69 2e 65 2e 5c 20 73 75 | 70 70 6c 79 69 6e 67 20 |i.e.\ su|pplying |
|00003250| 61 6c 6c 20 6e 65 63 65 | 73 73 61 72 79 20 66 6f |all nece|ssary fo|
|00003260| 6e 74 20 69 6e 66 6f 72 | 6d 61 74 69 6f 6e 73 20 |nt infor|mations |
|00003270| 65 78 70 6c 69 63 69 74 | 6c 79 2e 0a 25 0a 25 0a |explicit|ly..%.%.|
|00003280| 25 0a 25 20 5c 73 65 63 | 74 69 6f 6e 7b 41 63 6b |%.% \sec|tion{Ack|
|00003290| 6e 6f 77 6c 65 64 67 65 | 6d 65 6e 74 73 7d 0a 25 |nowledge|ments}.%|
|000032a0| 0a 25 20 54 68 65 20 70 | 75 62 6c 69 63 61 74 69 |.% The p|ublicati|
|000032b0| 6f 6e 20 6f 66 20 74 68 | 69 73 20 73 65 74 20 6f |on of th|is set o|
|000032c0| 66 20 6d 61 63 72 6f 73 | 20 77 61 73 20 6f 6e 6c |f macros| was onl|
|000032d0| 79 20 70 6f 73 73 69 62 | 6c 65 20 77 69 74 68 20 |y possib|le with |
|000032e0| 74 68 65 0a 25 20 68 65 | 6c 70 20 6f 66 20 43 68 |the.% he|lp of Ch|
|000032f0| 72 69 73 74 69 6e 61 20 | 42 75 73 73 65 20 28 74 |ristina |Busse (t|
|00003300| 72 61 6e 73 6c 61 74 69 | 6e 67 20 74 68 65 20 6d |ranslati|ng the m|
|00003310| 61 6e 75 73 63 72 69 70 | 74 20 69 6e 74 6f 20 45 |anuscrip|t into E|
|00003320| 6e 67 6c 69 73 68 29 2c | 0a 25 20 4a 6f 61 63 68 |nglish),|.% Joach|
|00003330| 69 6d 20 50 65 6e 73 65 | 20 28 70 6c 61 79 69 6e |im Pense| (playin|
|00003340| 67 20 74 68 65 20 72 5c | 5e 6f 6c 65 20 6f 66 20 |g the r\|^ole of |
|00003350| 74 79 70 69 73 74 29 2c | 20 43 68 72 69 73 20 52 |typist),| Chris R|
|00003360| 6f 77 6c 65 79 0a 25 20 | 28 6c 6f 6f 6b 69 6e 67 |owley.% |(looking|
|00003370| 20 65 76 65 72 79 74 68 | 69 6e 67 20 6f 76 65 72 | everyth|ing over|
|00003380| 29 20 61 6e 64 20 6d 61 | 6e 79 20 6f 74 68 65 72 |) and ma|ny other|
|00003390| 73 20 70 72 6f 76 69 64 | 69 6e 67 20 75 73 65 66 |s provid|ing usef|
|000033a0| 75 6c 0a 25 20 73 75 67 | 67 65 73 74 69 6f 6e 73 |ul.% sug|gestions|
|000033b0| 2e 20 20 0a 25 0a 25 20 | 5c 53 74 6f 70 45 76 65 |. .%.% |\StopEve|
|000033c0| 6e 74 75 61 6c 6c 79 7b | 25 0a 25 20 20 20 20 5c |ntually{|%.% \|
|000033d0| 62 65 67 69 6e 7b 74 68 | 65 62 69 62 6c 69 6f 67 |begin{th|ebibliog|
|000033e0| 72 61 70 68 79 7d 7b 39 | 7d 0a 25 20 20 20 20 20 |raphy}{9|}.% |
|000033f0| 20 20 5c 62 69 62 69 74 | 65 6d 7b 62 6b 3a 47 4d | \bibit|em{bk:GM|
|00003400| 53 39 34 7d 20 5c 74 65 | 78 74 73 63 7b 4d 2e 7e |S94} \te|xtsc{M.~|
|00003410| 47 6f 6f 73 73 65 6e 73 | 7d 2c 20 5c 74 65 78 74 |Goossens|}, \text|
|00003420| 73 63 7b 46 2e 7e 4d 69 | 74 74 65 6c 62 61 63 68 |sc{F.~Mi|ttelbach|
|00003430| 7d 0a 25 20 20 20 20 20 | 20 20 20 20 61 6e 64 20 |}.% | and |
|00003440| 5c 74 65 78 74 73 63 7b | 41 2e 7e 53 61 6d 61 72 |\textsc{|A.~Samar|
|00003450| 69 6e 7d 2e 0a 25 20 20 | 20 20 20 20 20 20 20 5c |in}..% | \|
|00003460| 6e 65 77 62 6c 6f 63 6b | 20 54 68 65 20 5c 4c 61 |newblock| The \La|
|00003470| 54 65 58 7b 7d 20 43 6f | 6d 70 61 6e 69 6f 6e 2e |TeX{} Co|mpanion.|
|00003480| 0a 25 20 20 20 20 20 20 | 20 20 20 5c 6e 65 77 62 |.% | \newb|
|00003490| 6c 6f 63 6b 0a 25 20 20 | 20 20 20 20 20 20 20 41 |lock.% | A|
|000034a0| 64 64 69 73 6f 6e 2d 57 | 65 73 6c 65 79 2c 20 52 |ddison-W|esley, R|
|000034b0| 65 61 64 69 6e 67 2c 20 | 4d 61 73 73 61 63 68 75 |eading, |Massachu|
|000034c0| 73 65 74 74 73 2c 20 31 | 39 39 34 2e 0a 25 20 20 |setts, 1|994..% |
|000034d0| 20 20 20 20 20 5c 62 69 | 62 69 74 65 6d 7b 6c 61 | \bi|bitem{la|
|000034e0| 74 65 78 3a 73 6f 75 72 | 63 65 7d 20 5c 74 65 78 |tex:sour|ce} \tex|
|000034f0| 74 73 63 7b 4c 61 6d 70 | 6f 72 74 2c 20 4c 65 73 |tsc{Lamp|ort, Les|
|00003500| 6c 69 65 2e 7d 20 5c 6e | 65 77 62 6c 6f 63 6b 0a |lie.} \n|ewblock.|
|00003510| 25 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |% | |
|00003520| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003530| 5c 74 65 78 74 74 74 7b | 6c 61 74 65 78 2e 74 65 |\texttt{|latex.te|
|00003540| 78 7d 2c 20 76 65 72 73 | 69 6f 6e 20 32 2e 30 39 |x}, vers|ion 2.09|
|00003550| 2c 20 64 61 74 65 20 0a | 25 20 20 20 20 20 20 20 |, date .|% |
|00003560| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003570| 20 20 20 20 20 20 20 20 | 46 65 62 2e 20 31 39 39 | |Feb. 199|
|00003580| 30 2e 20 20 0a 25 20 20 | 20 20 5c 65 6e 64 7b 74 |0. .% | \end{t|
|00003590| 68 65 62 69 62 6c 69 6f | 67 72 61 70 68 79 7d 0a |hebiblio|graphy}.|
|000035a0| 25 20 20 20 20 5c 50 72 | 69 6e 74 49 6e 64 65 78 |% \Pr|intIndex|
|000035b0| 0a 25 20 20 20 20 5c 50 | 72 69 6e 74 43 68 61 6e |.% \P|rintChan|
|000035c0| 67 65 73 7d 0a 25 20 0a | 25 0a 25 20 5c 73 65 63 |ges}.% .|%.% \sec|
|000035d0| 74 69 6f 6e 7b 54 68 65 | 20 64 6f 63 75 6d 65 6e |tion{The| documen|
|000035e0| 74 61 74 69 6f 6e 20 64 | 72 69 76 65 72 20 66 69 |tation d|river fi|
|000035f0| 6c 65 7d 0a 25 0a 25 20 | 54 68 65 20 6e 65 78 74 |le}.%.% |The next|
|00003600| 20 62 69 74 20 6f 66 20 | 63 6f 64 65 20 63 6f 6e | bit of |code con|
|00003610| 74 61 69 6e 73 20 74 68 | 65 20 64 6f 63 75 6d 65 |tains th|e docume|
|00003620| 6e 74 61 74 69 6f 6e 20 | 64 72 69 76 65 72 20 66 |ntation |driver f|
|00003630| 69 6c 65 20 66 6f 72 0a | 25 20 5c 54 65 58 7b 7d |ile for.|% \TeX{}|
|00003640| 2c 20 69 2e 65 2e 2c 20 | 74 68 65 20 66 69 6c 65 |, i.e., |the file|
|00003650| 20 74 68 61 74 20 77 69 | 6c 6c 20 70 72 6f 64 75 | that wi|ll produ|
|00003660| 63 65 20 74 68 65 20 64 | 6f 63 75 6d 65 6e 74 61 |ce the d|ocumenta|
|00003670| 74 69 6f 6e 20 79 6f 75 | 20 61 72 65 0a 25 20 63 |tion you| are.% c|
|00003680| 75 72 72 65 6e 74 6c 79 | 20 72 65 61 64 69 6e 67 |urrently| reading|
|00003690| 2e 20 49 74 20 77 69 6c | 6c 20 62 65 20 65 78 74 |. It wil|l be ext|
|000036a0| 72 61 63 74 65 64 20 66 | 72 6f 6d 20 74 68 69 73 |racted f|rom this|
|000036b0| 20 66 69 6c 65 20 62 79 | 20 74 68 65 0a 25 20 5c | file by| the.% \|
|000036c0| 74 65 78 74 74 74 7b 64 | 6f 63 73 74 72 69 70 7d |texttt{d|ocstrip}|
|000036d0| 20 70 72 6f 67 72 61 6d | 2e 20 53 69 6e 63 65 20 | program|. Since |
|000036e0| 69 74 20 69 73 20 74 68 | 65 20 66 69 72 73 74 20 |it is th|e first |
|000036f0| 63 6f 64 65 20 69 6e 20 | 74 68 65 20 66 69 6c 65 |code in |the file|
|00003700| 0a 25 20 6f 6e 65 20 63 | 61 6e 20 61 6c 74 65 72 |.% one c|an alter|
|00003710| 6e 61 74 69 76 65 6c 79 | 20 70 72 6f 63 65 73 73 |natively| process|
|00003720| 20 74 68 69 73 20 66 69 | 6c 65 20 64 69 72 65 63 | this fi|le direc|
|00003730| 74 6c 79 20 77 69 74 68 | 20 5c 4c 61 54 65 58 65 |tly with| \LaTeXe|
|00003740| 7b 7d 20 74 6f 0a 25 20 | 6f 62 74 61 69 6e 20 74 |{} to.% |obtain t|
|00003750| 68 65 20 64 6f 63 75 6d | 65 6e 74 61 74 69 6f 6e |he docum|entation|
|00003760| 2e 0a 25 0a 25 20 20 20 | 20 5c 62 65 67 69 6e 7b |..%.% | \begin{|
|00003770| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 25 3c 2a 64 72 |macrocod|e}.%<*dr|
|00003780| 69 76 65 72 3e 0a 5c 64 | 6f 63 75 6d 65 6e 74 63 |iver>.\d|ocumentc|
|00003790| 6c 61 73 73 7b 6c 74 78 | 64 6f 63 7d 0a 0a 5c 75 |lass{ltx|doc}..\u|
|000037a0| 73 65 70 61 63 6b 61 67 | 65 7b 74 68 65 6f 72 65 |sepackag|e{theore|
|000037b0| 6d 7d 0a 0a 25 25 20 20 | 20 54 68 65 20 6e 65 78 |m}..%% | The nex|
|000037c0| 74 20 66 65 77 20 6c 69 | 6e 65 73 20 64 65 66 69 |t few li|nes defi|
|000037d0| 6e 65 20 74 68 65 6f 72 | 65 6d 20 73 65 74 73 20 |ne theor|em sets |
|000037e0| 77 68 69 63 68 20 61 72 | 65 20 75 73 65 64 0a 25 |which ar|e used.%|
|000037f0| 25 20 20 20 69 6e 20 74 | 68 65 20 65 78 61 6d 70 |% in t|he examp|
|00003800| 6c 65 20 73 65 63 74 69 | 6f 6e 20 6f 66 20 74 68 |le secti|on of th|
|00003810| 65 20 64 6f 63 75 6d 65 | 6e 74 61 74 69 6f 6e 2e |e docume|ntation.|
|00003820| 0a 0a 5c 74 68 65 6f 72 | 65 6d 73 74 79 6c 65 7b |..\theor|emstyle{|
|00003830| 62 72 65 61 6b 7d 20 20 | 20 20 20 20 20 5c 6e 65 |break} | \ne|
|00003840| 77 74 68 65 6f 72 65 6d | 7b 43 6f 72 7d 7b 43 6f |wtheorem|{Cor}{Co|
|00003850| 72 6f 6c 6c 61 72 79 7d | 0a 5c 74 68 65 6f 72 65 |rollary}|.\theore|
|00003860| 6d 73 74 79 6c 65 7b 70 | 6c 61 69 6e 7d 20 20 20 |mstyle{p|lain} |
|00003870| 20 20 20 20 5c 6e 65 77 | 74 68 65 6f 72 65 6d 7b | \new|theorem{|
|00003880| 45 78 61 7d 7b 45 78 61 | 6d 70 6c 65 7d 5b 73 65 |Exa}{Exa|mple}[se|
|00003890| 63 74 69 6f 6e 5d 0a 7b | 5c 74 68 65 6f 72 65 6d |ction].{|\theorem|
|000038a0| 62 6f 64 79 66 6f 6e 74 | 7b 5c 75 70 73 68 61 70 |bodyfont|{\upshap|
|000038b0| 65 7d 5c 6e 65 77 74 68 | 65 6f 72 65 6d 7b 52 65 |e}\newth|eorem{Re|
|000038c0| 6d 7d 7b 52 65 6d 61 72 | 6b 7d 7d 0a 5c 74 68 65 |m}{Remar|k}}.\the|
|000038d0| 6f 72 65 6d 73 74 79 6c | 65 7b 6d 61 72 67 69 6e |oremstyl|e{margin|
|000038e0| 62 72 65 61 6b 7d 20 5c | 6e 65 77 74 68 65 6f 72 |break} \|newtheor|
|000038f0| 65 6d 7b 4c 65 6d 7d 5b | 43 6f 72 5d 7b 4c 65 6d |em{Lem}[|Cor]{Lem|
|00003900| 6d 61 7d 0a 5c 74 68 65 | 6f 72 65 6d 73 74 79 6c |ma}.\the|oremstyl|
|00003910| 65 7b 63 68 61 6e 67 65 | 7d 0a 5c 74 68 65 6f 72 |e{change|}.\theor|
|00003920| 65 6d 62 6f 64 79 66 6f | 6e 74 7b 5c 69 74 73 68 |embodyfo|nt{\itsh|
|00003930| 61 70 65 7d 20 5c 6e 65 | 77 74 68 65 6f 72 65 6d |ape} \ne|wtheorem|
|00003940| 7b 44 65 66 7d 5b 43 6f | 72 5d 7b 44 65 66 69 6e |{Def}[Co|r]{Defin|
|00003950| 69 74 69 6f 6e 7d 0a 0a | 5c 74 68 65 6f 72 65 6d |ition}..|\theorem|
|00003960| 68 65 61 64 65 72 66 6f | 6e 74 7b 5c 73 63 73 68 |headerfo|nt{\scsh|
|00003970| 61 70 65 7d 0a 0a 5c 52 | 65 63 6f 72 64 43 68 61 |ape}..\R|ecordCha|
|00003980| 6e 67 65 73 0a 0a 5c 62 | 65 67 69 6e 7b 64 6f 63 |nges..\b|egin{doc|
|00003990| 75 6d 65 6e 74 7d 0a 20 | 20 20 5c 44 6f 63 49 6e |ument}. | \DocIn|
|000039a0| 70 75 74 7b 74 68 65 6f | 72 65 6d 2e 64 74 78 7d |put{theo|rem.dtx}|
|000039b0| 0a 5c 65 6e 64 7b 64 6f | 63 75 6d 65 6e 74 7d 0a |.\end{do|cument}.|
|000039c0| 25 3c 2f 64 72 69 76 65 | 72 3e 0a 25 20 20 20 20 |%</drive|r>.% |
|000039d0| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|000039e0| 25 0a 25 20 5c 73 65 63 | 74 69 6f 6e 7b 44 65 66 |%.% \sec|tion{Def|
|000039f0| 69 6e 69 74 69 6f 6e 20 | 6f 66 20 74 68 65 20 4d |inition |of the M|
|00003a00| 61 63 72 6f 73 7d 0a 25 | 0a 25 20 49 66 20 74 68 |acros}.%|.% If th|
|00003a10| 65 20 66 69 6c 65 20 68 | 61 73 20 62 65 65 6e 20 |e file h|as been |
|00003a20| 6c 6f 61 64 65 64 20 62 | 65 66 6f 72 65 2c 20 77 |loaded b|efore, w|
|00003a30| 65 20 61 62 6f 72 74 20 | 69 6d 6d 65 64 69 61 74 |e abort |immediat|
|00003a40| 65 6c 79 2e 20 49 66 20 | 6e 6f 74 2c 0a 25 20 74 |ely. If |not,.% t|
|00003a50| 68 65 20 63 75 72 72 65 | 6e 74 20 76 65 72 73 69 |he curre|nt versi|
|00003a60| 6f 6e 20 6f 66 20 74 68 | 65 20 73 74 79 6c 65 20 |on of th|e style |
|00003a70| 69 73 20 73 68 6f 77 6e | 20 6f 6e 20 74 68 65 20 |is shown| on the |
|00003a80| 73 63 72 65 65 6e 20 61 | 6e 64 20 69 6e 20 74 68 |screen a|nd in th|
|00003a90| 65 0a 25 20 74 72 61 6e | 73 63 72 69 70 74 20 66 |e.% tran|script f|
|00003aa0| 69 6c 65 2e 0a 25 20 5c | 63 68 61 6e 67 65 73 7b |ile..% \|changes{|
|00003ab0| 76 32 2e 30 65 7d 7b 38 | 39 2f 30 37 2f 31 39 7d |v2.0e}{8|9/07/19}|
|00003ac0| 7b 53 70 61 63 65 73 20 | 72 65 6d 6f 76 65 64 20 |{Spaces |removed |
|00003ad0| 66 72 6f 6d 20 60 74 79 | 70 65 6f 75 74 27 2e 7d |from `ty|peout'.}|
|00003ae0| 0a 25 20 20 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.% \b|egin{mac|
|00003af0| 72 6f 63 6f 64 65 7d 0a | 25 3c 2a 70 61 63 6b 61 |rocode}.|%<*packa|
|00003b00| 67 65 3e 0a 5c 40 69 66 | 75 6e 64 65 66 69 6e 65 |ge>.\@if|undefine|
|00003b10| 64 7b 74 68 65 6f 72 65 | 6d 40 73 74 79 6c 65 7d |d{theore|m@style}|
|00003b20| 7b 7d 7b 5c 65 6e 64 69 | 6e 70 75 74 7d 0a 5c 50 |{}{\endi|nput}.\P|
|00003b30| 72 6f 76 69 64 65 73 50 | 61 63 6b 61 67 65 7b 74 |rovidesP|ackage{t|
|00003b40| 68 65 6f 72 65 6d 7d 5b | 5c 66 69 6c 65 64 61 74 |heorem}[|\filedat|
|00003b50| 65 5c 73 70 61 63 65 0a | 20 20 20 20 20 20 20 20 |e\space.| |
|00003b60| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00003b70| 20 20 20 4c 61 54 65 58 | 32 65 20 70 61 63 6b 61 | LaTeX|2e packa|
|00003b80| 67 65 20 5c 66 69 6c 65 | 76 65 72 73 69 6f 6e 5d |ge \file|version]|
|00003b90| 0a 5c 74 79 70 65 6f 75 | 74 7b 50 61 63 6b 61 67 |.\typeou|t{Packag|
|00003ba0| 65 3a 20 60 74 68 65 6f | 72 65 6d 27 20 5c 66 69 |e: `theo|rem' \fi|
|00003bb0| 6c 65 76 65 72 73 69 6f | 6e 20 0a 20 20 20 20 20 |leversio|n . |
|00003bc0| 20 20 20 20 5c 40 73 70 | 61 63 65 73 20 3c 5c 66 | \@sp|aces <\f|
|00003bd0| 69 6c 65 64 61 74 65 3e | 20 20 28 46 4d 69 29 7d |iledate>| (FMi)}|
|00003be0| 0a 5c 74 79 70 65 6f 75 | 74 7b 45 6e 67 6c 69 73 |.\typeou|t{Englis|
|00003bf0| 68 20 64 6f 63 75 6d 65 | 6e 74 61 74 69 6f 6e 20 |h docume|ntation |
|00003c00| 61 73 20 6f 66 20 0a 20 | 20 20 20 20 20 20 20 20 |as of . | |
|00003c10| 3c 5c 64 6f 63 64 61 74 | 65 3e 20 20 28 46 4d 69 |<\docdat|e> (FMi|
|00003c20| 29 7d 0a 25 20 20 20 20 | 5c 65 6e 64 7b 6d 61 63 |)}.% |\end{mac|
|00003c30| 72 6f 63 6f 64 65 7d 0a | 25 0a 25 0a 25 20 5c 73 |rocode}.|%.%.% \s|
|00003c40| 75 62 73 65 63 74 69 6f | 6e 7b 44 65 66 69 6e 69 |ubsectio|n{Defini|
|00003c50| 74 69 6f 6e 20 6f 66 20 | 74 68 65 6f 72 65 6d 20 |tion of |theorem |
|00003c60| 73 74 79 6c 65 73 20 61 | 6e 64 20 66 6f 6e 74 73 |styles a|nd fonts|
|00003c70| 7d 0a 25 0a 25 20 41 6c | 6c 20 74 68 65 20 64 65 |}.%.% Al|l the de|
|00003c80| 66 69 6e 69 74 69 6f 6e | 73 20 69 6e 20 74 68 69 |finition|s in thi|
|00003c90| 73 20 66 69 6c 65 20 61 | 72 65 20 64 6f 6e 65 20 |s file a|re done |
|00003ca0| 67 6c 6f 62 61 6c 6c 79 | 20 74 6f 20 61 6c 6c 6f |globally| to allo|
|00003cb0| 77 0a 25 20 69 6e 70 75 | 74 74 69 6e 67 20 74 68 |w.% inpu|tting th|
|00003cc0| 69 73 20 66 69 6c 65 20 | 69 6e 73 69 64 65 20 61 |is file |inside a|
|00003cd0| 20 67 72 6f 75 70 2e 0a | 25 0a 25 20 5c 62 65 67 | group..|%.% \beg|
|00003ce0| 69 6e 7b 6d 61 63 72 6f | 7d 7b 5c 74 68 65 6f 72 |in{macro|}{\theor|
|00003cf0| 65 6d 73 74 79 6c 65 7d | 0a 25 20 20 20 20 42 65 |emstyle}|.% Be|
|00003d00| 66 6f 72 65 20 61 20 74 | 68 65 6f 72 65 6d 20 73 |fore a t|heorem s|
|00003d10| 74 79 6c 65 20 63 61 6e | 20 62 65 20 69 6e 73 74 |tyle can| be inst|
|00003d20| 61 6c 6c 65 64 2c 20 74 | 68 65 20 63 68 6f 73 65 |alled, t|he chose|
|00003d30| 6e 20 73 74 79 6c 65 20 | 6d 75 73 74 20 62 65 0a |n style |must be.|
|00003d40| 25 20 20 20 20 6b 6e 6f | 77 6e 2e 20 46 6f 72 20 |% kno|wn. For |
|00003d50| 74 68 61 74 20 72 65 61 | 73 6f 6e 2c 20 77 65 20 |that rea|son, we |
|00003d60| 6d 75 73 74 20 74 65 73 | 74 20 74 6f 20 73 65 65 |must tes|t to see|
|00003d70| 20 74 68 61 74 0a 25 20 | 20 20 20 7c 5c 74 68 40 | that.% | |\th@|
|00003d80| 7c 5c 6d 65 74 61 7b 73 | 74 79 6c 65 7d 20 69 73 ||\meta{s|tyle} is|
|00003d90| 20 6b 6e 6f 77 6e 20 6f | 72 2c 20 6d 6f 72 65 20 | known o|r, more |
|00003da0| 70 72 65 63 69 73 65 6c | 79 2c 20 74 68 61 74 20 |precisel|y, that |
|00003db0| 69 74 20 69 73 0a 25 20 | 20 20 20 64 69 66 66 65 |it is.% | diffe|
|00003dc0| 72 65 6e 74 20 66 72 6f | 6d 20 7c 5c 72 65 6c 61 |rent fro|m |\rela|
|00003dd0| 78 7c 2e 20 49 66 20 74 | 68 65 20 73 74 79 6c 65 |x|. If t|he style|
|00003de0| 20 69 73 20 6e 6f 74 20 | 6b 6e 6f 77 6e 20 74 68 | is not |known th|
|00003df0| 65 6e 0a 25 20 20 20 20 | 7c 5c 74 68 40 70 6c 61 |en.% ||\th@pla|
|00003e00| 69 6e 7c 20 69 73 20 75 | 73 65 64 2e 0a 25 20 20 |in| is u|sed..% |
|00003e10| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f | \begin|{macroco|
|00003e20| 64 65 7d 0a 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |de}.\gde|f\theore|
|00003e30| 6d 73 74 79 6c 65 23 31 | 7b 25 0a 20 20 20 5c 40 |mstyle#1|{%. \@|
|00003e40| 69 66 75 6e 64 65 66 69 | 6e 65 64 7b 74 68 40 23 |ifundefi|ned{th@#|
|00003e50| 31 7d 7b 5c 40 77 61 72 | 6e 69 6e 67 0a 20 20 20 |1}{\@war|ning. |
|00003e60| 20 20 20 20 20 20 20 7b | 55 6e 6b 6e 6f 77 6e 20 | {|Unknown |
|00003e70| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 20 60 23 31 |theorems|tyle `#1|
|00003e80| 27 2e 20 55 73 69 6e 67 | 20 60 70 6c 61 69 6e 27 |'. Using| `plain'|
|00003e90| 7d 25 0a 20 20 20 20 20 | 20 20 20 20 20 5c 74 68 |}%. | \th|
|00003ea0| 65 6f 72 65 6d 40 73 74 | 79 6c 65 7b 70 6c 61 69 |eorem@st|yle{plai|
|00003eb0| 6e 7d 7d 25 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |n}}%.% | \end{m|
|00003ec0| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 20 20 20 57 |acrocode|}.% W|
|00003ed0| 65 20 73 61 76 65 20 74 | 68 65 20 74 68 65 6f 72 |e save t|he theor|
|00003ee0| 65 6d 20 73 74 79 6c 65 | 20 74 6f 20 62 65 20 75 |em style| to be u|
|00003ef0| 73 65 64 20 69 6e 20 74 | 68 65 20 74 6f 6b 65 6e |sed in t|he token|
|00003f00| 20 72 65 67 69 73 74 65 | 72 0a 25 20 20 20 20 7c | registe|r.% ||
|00003f10| 5c 74 68 65 6f 72 65 6d | 40 73 74 79 6c 65 7c 2e |\theorem|@style|.|
|00003f20| 0a 25 20 20 20 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |.% \b|egin{mac|
|00003f30| 72 6f 63 6f 64 65 7d 0a | 20 20 20 20 20 20 7b 5c |rocode}.| {\|
|00003f40| 74 68 65 6f 72 65 6d 40 | 73 74 79 6c 65 7b 23 31 |theorem@|style{#1|
|00003f50| 7d 7d 25 0a 25 20 20 20 | 20 5c 65 6e 64 7b 6d 61 |}}%.% | \end{ma|
|00003f60| 63 72 6f 63 6f 64 65 7d | 0a 25 20 20 20 20 4e 6f |crocode}|.% No|
|00003f70| 77 20 77 65 20 60 60 65 | 76 61 6c 75 61 74 65 27 |w we ``e|valuate'|
|00003f80| 27 20 74 68 65 20 74 68 | 65 6f 72 65 6d 20 73 74 |' the th|eorem st|
|00003f90| 79 6c 65 3a 20 74 68 69 | 73 20 6d 65 61 6e 73 2c |yle: thi|s means,|
|00003fa0| 20 77 65 20 63 61 6c 6c | 20 74 68 65 0a 25 20 20 | we call| the.% |
|00003fb0| 20 20 6d 61 63 72 6f 20 | 7c 5c 74 68 40 7c 5c 6d | macro ||\th@|\m|
|00003fc0| 65 74 61 7b 73 74 79 6c | 65 7d 20 77 68 69 63 68 |eta{styl|e} which|
|00003fd0| 20 77 69 6c 6c 20 61 63 | 74 69 76 61 74 65 20 74 | will ac|tivate t|
|00003fe0| 68 65 20 72 65 6c 65 76 | 61 6e 74 0a 25 20 20 20 |he relev|ant.% |
|00003ff0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 73 20 77 68 69 | definit|ions whi|
|00004000| 63 68 20 61 72 65 20 63 | 6f 6e 74 61 69 6e 65 64 |ch are c|ontained|
|00004010| 20 69 6e 20 61 20 73 65 | 70 61 72 61 74 65 20 66 | in a se|parate f|
|00004020| 69 6c 65 2e 20 20 54 68 | 69 73 20 69 73 20 64 6f |ile. Th|is is do|
|00004030| 6e 65 0a 25 20 20 20 20 | 69 6e 20 61 20 67 72 6f |ne.% |in a gro|
|00004040| 75 70 20 74 6f 20 73 75 | 70 70 72 65 73 73 20 63 |up to su|ppress c|
|00004050| 68 61 6e 67 65 73 20 74 | 6f 20 74 68 65 20 63 75 |hanges t|o the cu|
|00004060| 72 72 65 6e 74 20 66 6f | 6e 74 2e 20 20 54 68 69 |rrent fo|nt. Thi|
|00004070| 73 20 63 6f 75 6c 64 0a | 25 20 20 20 20 6f 74 68 |s could.|% oth|
|00004080| 65 72 77 69 73 65 20 70 | 6f 73 65 20 70 72 6f 62 |erwise p|ose prob|
|00004090| 6c 65 6d 73 20 74 6f 67 | 65 74 68 65 72 20 77 69 |lems tog|ether wi|
|000040a0| 74 68 20 74 68 65 20 6e | 65 77 20 66 6f 6e 74 20 |th the n|ew font |
|000040b0| 73 65 6c 65 63 74 69 6f | 6e 0a 25 20 20 20 20 73 |selectio|n.% s|
|000040c0| 63 68 65 6d 65 5c 66 6f | 6f 74 6e 6f 74 65 7b 57 |cheme\fo|otnote{W|
|000040d0| 68 65 6e 20 49 20 70 72 | 69 6e 74 65 64 20 74 68 |hen I pr|inted th|
|000040e0| 65 20 6f 72 69 67 69 6e | 61 6c 20 61 72 74 69 63 |e origin|al artic|
|000040f0| 6c 65 20 75 73 69 6e 67 | 20 74 68 65 20 6e 65 77 |le using| the new|
|00004100| 0a 25 20 20 20 20 66 6f | 6e 74 20 73 65 6c 65 63 |.% fo|nt selec|
|00004110| 74 69 6f 6e 20 73 63 68 | 65 6d 65 20 49 20 65 6e |tion sch|eme I en|
|00004120| 64 65 64 20 77 69 74 68 | 20 61 20 64 6f 63 75 6d |ded with| a docum|
|00004130| 65 6e 74 20 77 69 74 68 | 20 73 6c 61 6e 74 65 64 |ent with| slanted|
|00004140| 0a 25 20 20 20 20 74 79 | 70 65 66 61 63 65 73 20 |.% ty|pefaces |
|00004150| 28 74 65 78 74 20 68 65 | 61 64 69 6e 67 73 20 61 |(text he|adings a|
|00004160| 6e 64 20 61 6c 6c 29 20 | 73 69 6d 70 6c 79 20 62 |nd all) |simply b|
|00004170| 65 63 61 75 73 65 20 6f | 6e 65 20 6f 66 20 74 68 |ecause o|ne of th|
|00004180| 65 0a 25 20 20 20 20 74 | 68 65 6f 72 65 6d 20 73 |e.% t|heorem s|
|00004190| 74 79 6c 65 73 20 75 73 | 65 64 20 5c 74 65 78 74 |tyles us|ed \text|
|000041a0| 74 74 7b 5c 62 73 6c 61 | 73 68 20 73 6c 7d 20 61 |tt{\bsla|sh sl} a|
|000041b0| 74 20 74 6f 70 6c 65 76 | 65 6c 2e 7d 20 69 66 20 |t toplev|el.} if |
|000041c0| 74 68 65 0a 25 20 20 20 | 20 7c 5c 74 68 40 7c 5c |the.% | |\th@|\|
|000041d0| 6d 65 74 61 7b 73 74 79 | 6c 65 7d 20 69 73 20 65 |meta{sty|le} is e|
|000041e0| 76 61 6c 75 61 74 65 64 | 20 61 20 73 65 63 6f 6e |valuated| a secon|
|000041f0| 64 20 74 69 6d 65 2e 0a | 25 20 5c 63 68 61 6e 67 |d time..|% \chang|
|00004200| 65 73 7b 76 32 2e 31 61 | 7d 7b 39 30 2f 30 32 2f |es{v2.1a|}{90/02/|
|00004210| 31 35 7d 7b 47 72 6f 75 | 70 20 61 64 64 65 64 20 |15}{Grou|p added |
|00004220| 61 72 6f 75 6e 64 20 60 | 74 68 40 2e 2e 7d 0a 25 |around `|th@..}.%|
|00004230| 20 5c 63 68 61 6e 67 65 | 73 7b 76 32 2e 31 61 7d | \change|s{v2.1a}|
|00004240| 7b 39 30 2f 30 32 2f 31 | 35 7d 7b 52 65 73 65 74 |{90/02/1|5}{Reset|
|00004250| 69 6e 67 20 6f 66 20 60 | 2e 2e 40 62 65 67 69 6e |ing of `|..@begin|
|00004260| 74 68 65 6f 72 65 6d 20 | 72 65 6d 6f 76 65 64 2e |theorem |removed.|
|00004270| 7d 0a 25 20 20 20 20 5c | 62 65 67 69 6e 7b 6d 61 |}.% \|begin{ma|
|00004280| 63 72 6f 63 6f 64 65 7d | 0a 20 20 20 20 20 20 5c |crocode}|. \|
|00004290| 62 65 67 69 6e 67 72 6f | 75 70 0a 20 20 20 20 20 |begingro|up. |
|000042a0| 20 20 20 5c 63 73 6e 61 | 6d 65 20 74 68 40 5c 74 | \csna|me th@\t|
|000042b0| 68 65 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |he\theor|em@style|
|000042c0| 20 5c 65 6e 64 63 73 6e | 61 6d 65 0a 20 20 20 20 | \endcsn|ame. |
|000042d0| 20 20 5c 65 6e 64 67 72 | 6f 75 70 7d 0a 25 20 20 | \endgr|oup}.% |
|000042e0| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 | \end{m|acrocode|
|000042f0| 7d 0a 25 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 7d 0a |}.% \end|{macro}.|
|00004300| 25 0a 25 0a 25 20 5c 62 | 65 67 69 6e 7b 6d 61 63 |%.%.% \b|egin{mac|
|00004310| 72 6f 7d 7b 5c 40 62 65 | 67 69 6e 74 68 65 6f 72 |ro}{\@be|gintheor|
|00004320| 65 6d 7d 0a 25 20 5c 63 | 68 61 6e 67 65 73 7b 76 |em}.% \c|hanges{v|
|00004330| 32 2e 31 61 7d 7b 39 30 | 2f 30 32 2f 31 35 7d 7b |2.1a}{90|/02/15}{|
|00004340| 52 65 6c 61 78 65 64 20 | 61 74 20 74 6f 70 6c 65 |Relaxed |at tople|
|00004350| 76 65 6c 2e 7d 0a 25 20 | 5c 62 65 67 69 6e 7b 6d |vel.}.% |\begin{m|
|00004360| 61 63 72 6f 7d 7b 5c 40 | 6f 70 61 72 67 62 65 67 |acro}{\@|opargbeg|
|00004370| 69 6e 74 68 65 6f 72 65 | 6d 7d 0a 25 20 5c 63 68 |intheore|m}.% \ch|
|00004380| 61 6e 67 65 73 7b 76 32 | 2e 31 61 7d 7b 39 30 2f |anges{v2|.1a}{90/|
|00004390| 30 32 2f 31 35 7d 7b 52 | 65 6c 61 78 65 64 20 61 |02/15}{R|elaxed a|
|000043a0| 74 20 74 6f 70 6c 65 76 | 65 6c 2e 7d 0a 25 20 20 |t toplev|el.}.% |
|000043b0| 20 20 57 65 20 72 65 73 | 65 74 20 7c 5c 40 62 65 | We res|et |\@be|
|000043c0| 67 69 6e 74 68 65 6f 72 | 65 6d 7c 20 61 6e 64 20 |gintheor|em| and |
|000043d0| 7c 5c 40 6f 70 61 72 67 | 62 65 67 69 6e 74 68 65 ||\@oparg|beginthe|
|000043e0| 6f 72 65 6d 7c 20 74 6f | 0a 25 20 20 20 20 7c 5c |orem| to|.% |\|
|000043f0| 72 65 6c 61 78 7c 20 73 | 69 6e 63 65 20 74 68 65 |relax| s|ince the|
|00004400| 73 65 20 63 6f 6d 6d 61 | 6e 64 73 20 61 72 65 20 |se comma|nds are |
|00004410| 6e 6f 20 6c 6f 6e 67 65 | 72 20 6e 65 63 65 73 73 |no longe|r necess|
|00004420| 61 72 79 20 61 74 0a 25 | 20 20 20 20 74 6f 70 6c |ary at.%| topl|
|00004430| 65 76 65 6c 2e 20 54 68 | 69 73 20 77 69 6c 6c 20 |evel. Th|is will |
|00004440| 73 61 76 65 20 61 20 66 | 65 77 20 74 6f 6b 65 6e |save a f|ew token|
|00004450| 73 2e 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |s..% |\begin{m|
|00004460| 61 63 72 6f 63 6f 64 65 | 7d 0a 5c 67 6c 6f 62 61 |acrocode|}.\globa|
|00004470| 6c 5c 6c 65 74 5c 40 62 | 65 67 69 6e 74 68 65 6f |l\let\@b|egintheo|
|00004480| 72 65 6d 5c 72 65 6c 61 | 78 0a 5c 67 6c 6f 62 61 |rem\rela|x.\globa|
|00004490| 6c 5c 6c 65 74 5c 40 6f | 70 61 72 67 62 65 67 69 |l\let\@o|pargbegi|
|000044a0| 6e 74 68 65 6f 72 65 6d | 5c 72 65 6c 61 78 0a 25 |ntheorem|\relax.%|
|000044b0| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f | \end|{macroco|
|000044c0| 64 65 7d 0a 25 20 5c 65 | 6e 64 7b 6d 61 63 72 6f |de}.% \e|nd{macro|
|000044d0| 7d 0a 25 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 7d 0a |}.% \end|{macro}.|
|000044e0| 25 0a 25 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |%.% \beg|in{macro|
|000044f0| 7d 7b 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |}{\theor|em@style|
|00004500| 7d 0a 25 20 20 20 20 4f | 62 76 69 6f 75 73 6c 79 |}.% O|bviously|
|00004510| 20 74 68 65 20 5c 74 65 | 78 74 73 66 7b 74 6f 6b | the \te|xtsf{tok|
|00004520| 65 6e 7d 20 72 65 67 69 | 73 74 65 72 20 75 73 65 |en} regi|ster use|
|00004530| 64 20 61 62 6f 76 65 20 | 68 61 73 20 74 6f 20 62 |d above |has to b|
|00004540| 65 0a 25 20 20 20 20 61 | 6c 6c 6f 63 61 74 65 64 |e.% a|llocated|
|00004550| 2e 20 54 6f 20 61 73 73 | 75 72 65 20 74 68 65 20 |. To ass|ure the |
|00004560| 75 74 6d 6f 73 74 20 63 | 6f 6d 70 61 74 69 62 69 |utmost c|ompatibi|
|00004570| 6c 69 74 79 20 77 69 74 | 68 20 74 68 65 0a 25 20 |lity wit|h the.% |
|00004580| 20 20 20 6f 72 69 67 69 | 6e 61 6c 20 5c 4c 61 54 | origi|nal \LaT|
|00004590| 65 58 7b 7d 20 64 65 66 | 69 6e 69 74 69 6f 6e 2c |eX{} def|inition,|
|000045a0| 20 77 65 20 73 65 74 20 | 74 68 65 20 64 65 66 61 | we set |the defa|
|000045b0| 75 6c 74 20 74 68 65 6f | 72 65 6d 20 73 74 79 6c |ult theo|rem styl|
|000045c0| 65 20 74 6f 0a 25 20 20 | 20 20 5c 74 65 78 74 74 |e to.% | \textt|
|000045d0| 74 7b 70 6c 61 69 6e 7d | 2c 20 77 68 69 63 68 20 |t{plain}|, which |
|000045e0| 69 6d 70 6c 65 6d 65 6e | 74 73 20 74 68 65 20 75 |implemen|ts the u|
|000045f0| 73 75 61 6c 20 5c 4c 61 | 54 65 58 7b 7d 20 63 6f |sual \La|TeX{} co|
|00004600| 6e 76 65 6e 74 69 6f 6e | 2e 0a 25 20 5c 63 68 61 |nvention|..% \cha|
|00004610| 6e 67 65 73 7b 76 32 2e | 30 66 7d 7b 38 39 2f 30 |nges{v2.|0f}{89/0|
|00004620| 37 2f 32 30 7d 7b 55 6e | 6e 65 63 65 73 73 61 72 |7/20}{Un|necessar|
|00004630| 79 20 60 67 6c 6f 62 61 | 6c 27 20 72 65 6d 6f 76 |y `globa|l' remov|
|00004640| 65 64 2e 7d 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |ed.}.% | \begin|
|00004650| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 5c 6e 65 77 |{macroco|de}.\new|
|00004660| 74 6f 6b 73 5c 74 68 65 | 6f 72 65 6d 40 73 74 79 |toks\the|orem@sty|
|00004670| 6c 65 0a 5c 67 6c 6f 62 | 61 6c 5c 74 68 65 6f 72 |le.\glob|al\theor|
|00004680| 65 6d 40 73 74 79 6c 65 | 7b 70 6c 61 69 6e 7d 0a |em@style|{plain}.|
|00004690| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |% \en|d{macroc|
|000046a0| 6f 64 65 7d 0a 25 20 5c | 65 6e 64 7b 6d 61 63 72 |ode}.% \|end{macr|
|000046b0| 6f 7d 0a 25 0a 25 20 5c | 62 65 67 69 6e 7b 6d 61 |o}.%.% \|begin{ma|
|000046c0| 63 72 6f 7d 7b 5c 74 68 | 65 6f 72 65 6d 62 6f 64 |cro}{\th|eorembod|
|000046d0| 79 66 6f 6e 74 7d 0a 25 | 20 5c 62 65 67 69 6e 7b |yfont}.%| \begin{|
|000046e0| 6d 61 63 72 6f 7d 7b 5c | 74 68 65 6f 72 65 6d 40 |macro}{\|theorem@|
|000046f0| 62 6f 64 79 66 6f 6e 74 | 7d 0a 25 20 20 20 20 49 |bodyfont|}.% I|
|00004700| 66 20 74 68 65 20 7c 5c | 74 68 65 6f 72 65 6d 62 |f the |\|theoremb|
|00004710| 6f 64 79 66 6f 6e 74 7c | 20 69 73 20 73 65 74 20 |odyfont|| is set |
|00004720| 62 79 20 74 68 65 20 75 | 73 65 72 20 74 68 65 6e |by the u|ser then|
|00004730| 20 69 74 20 73 68 6f 75 | 6c 64 20 6e 6f 74 0a 25 | it shou|ld not.%|
|00004740| 20 20 20 20 69 6e 74 65 | 72 61 63 74 20 77 69 74 | inte|ract wit|
|00004750| 68 20 74 68 65 20 64 65 | 66 61 75 6c 74 20 66 6f |h the de|fault fo|
|00004760| 6e 74 20 73 65 74 20 69 | 6e 20 74 68 65 20 74 68 |nt set i|n the th|
|00004770| 65 6f 72 65 6d 20 73 74 | 79 6c 65 2e 20 57 68 65 |eorem st|yle. Whe|
|00004780| 6e 20 74 68 65 0a 25 20 | 20 20 20 6e 65 77 20 66 |n the.% | new f|
|00004790| 6f 6e 74 20 73 65 6c 65 | 63 74 69 6f 6e 20 69 73 |ont sele|ction is|
|000047a0| 20 69 6e 20 66 6f 72 63 | 65 20 74 68 69 73 20 6d | in forc|e this m|
|000047b0| 61 79 20 68 61 70 70 65 | 6e 20 69 66 2c 20 66 6f |ay happe|n if, fo|
|000047c0| 72 20 65 78 61 6d 70 6c | 65 2c 0a 25 20 20 20 20 |r exampl|e,.% |
|000047d0| 74 68 65 20 64 65 66 61 | 75 6c 74 20 69 73 20 7c |the defa|ult is ||
|000047e0| 5c 69 74 73 68 61 70 65 | 7c 20 61 6e 64 20 74 68 |\itshape|| and th|
|000047f0| 65 20 6e 65 77 20 7c 5c | 74 68 65 6f 72 65 6d 62 |e new |\|theoremb|
|00004800| 6f 64 79 66 6f 6e 74 7c | 20 69 73 0a 25 20 20 20 |odyfont|| is.% |
|00004810| 20 7c 5c 73 66 66 61 6d | 69 6c 79 7c 2e 20 53 6f | |\sffam|ily|. So|
|00004820| 20 77 65 20 61 64 64 20 | 61 20 7c 5c 72 65 73 65 | we add |a |\rese|
|00004830| 74 40 66 6f 6e 74 7c 20 | 63 6f 6d 6d 61 6e 64 20 |t@font| |command |
|00004840| 69 6e 20 66 72 6f 6e 74 | 20 6f 66 20 74 68 65 0a |in front| of the.|
|00004850| 25 20 20 20 20 75 73 65 | 72 20 64 65 66 69 6e 69 |% use|r defini|
|00004860| 74 69 6f 6e 2e 0a 25 20 | 5c 63 68 61 6e 67 65 73 |tion..% |\changes|
|00004870| 7b 76 32 2e 30 66 7d 7b | 38 39 2f 30 37 2f 32 30 |{v2.0f}{|89/07/20|
|00004880| 7d 7b 55 6e 6e 65 63 65 | 73 73 61 72 79 20 60 67 |}{Unnece|ssary `g|
|00004890| 6c 6f 62 61 6c 27 20 72 | 65 6d 6f 76 65 64 2e 7d |lobal' r|emoved.}|
|000048a0| 0a 25 20 5c 63 68 61 6e | 67 65 73 7b 76 32 2e 30 |.% \chan|ges{v2.0|
|000048b0| 67 7d 7b 38 39 2f 30 39 | 2f 31 39 7d 7b 60 74 68 |g}{89/09|/19}{`th|
|000048c0| 65 6f 72 65 6d 66 6f 6e | 74 20 74 6f 20 60 74 68 |eoremfon|t to `th|
|000048d0| 65 6f 72 65 6d 62 6f 64 | 79 66 6f 6e 74 2e 7d 0a |eorembod|yfont.}.|
|000048e0| 25 20 5c 63 68 61 6e 67 | 65 73 7b 76 32 2e 31 63 |% \chang|es{v2.1c|
|000048f0| 7d 7b 39 32 2f 30 36 2f | 32 32 7d 7b 60 72 65 73 |}{92/06/|22}{`res|
|00004900| 65 74 40 66 6f 6e 74 20 | 61 64 64 65 64 20 61 6e |et@font |added an|
|00004910| 64 20 6c 6f 67 69 63 20 | 63 68 61 6e 67 65 64 2e |d logic |changed.|
|00004920| 7d 0a 25 20 5c 63 68 61 | 6e 67 65 73 7b 76 32 2e |}.% \cha|nges{v2.|
|00004930| 31 64 7d 7b 39 32 2f 31 | 30 2f 32 38 7d 7b 52 65 |1d}{92/1|0/28}{Re|
|00004940| 73 65 74 20 74 6f 20 65 | 6d 70 74 79 20 69 66 20 |set to e|mpty if |
|00004950| 61 72 67 20 69 73 20 65 | 6d 70 74 79 7d 0a 25 20 |arg is e|mpty}.% |
|00004960| 20 20 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 63 | \begi|n{macroc|
|00004970| 6f 64 65 7d 0a 5c 67 64 | 65 66 5c 74 68 65 6f 72 |ode}.\gd|ef\theor|
|00004980| 65 6d 62 6f 64 79 66 6f | 6e 74 23 31 7b 25 0a 25 |embodyfo|nt#1{%.%|
|00004990| 20 20 20 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 63 6f | \end|{macroco|
|000049a0| 64 65 7d 0a 25 20 20 20 | 20 57 65 20 63 68 65 63 |de}.% | We chec|
|000049b0| 6b 20 69 66 20 74 68 65 | 20 61 72 67 75 6d 65 6e |k if the| argumen|
|000049c0| 74 20 73 75 70 70 6c 69 | 65 64 20 69 73 20 65 6d |t suppli|ed is em|
|000049d0| 70 74 79 20 61 6e 64 20 | 69 66 20 73 6f 20 70 75 |pty and |if so pu|
|000049e0| 74 20 6e 6f 74 68 69 6e | 67 0a 25 20 20 20 20 69 |t nothin|g.% i|
|000049f0| 6e 74 6f 20 74 68 65 20 | 7c 5c 74 68 65 6f 72 65 |nto the ||\theore|
|00004a00| 6d 40 62 6f 64 79 66 6f | 6e 74 7c 20 74 6f 6b 65 |m@bodyfo|nt| toke|
|00004a10| 6e 20 72 65 67 69 73 74 | 65 72 20 74 6f 20 61 6c |n regist|er to al|
|00004a20| 6c 6f 77 20 66 6f 72 0a | 25 20 20 20 20 7c 5c 74 |low for.|% |\t|
|00004a30| 68 65 6f 72 65 6d 62 6f | 64 79 66 6f 6e 74 7b 7d |heorembo|dyfont{}|
|00004a40| 7c 20 61 73 20 61 20 6d | 65 61 6e 20 6f 66 20 75 || as a m|ean of u|
|00004a50| 73 69 6e 67 20 74 68 65 | 20 64 65 66 61 75 6c 74 |sing the| default|
|00004a60| 20 6f 66 20 74 68 65 0a | 25 20 20 20 20 63 75 72 | of the.|% cur|
|00004a70| 72 65 6e 74 20 7c 5c 74 | 68 65 6f 72 65 6d 73 74 |rent |\t|heoremst|
|00004a80| 79 6c 65 7c 2e 0a 25 20 | 20 20 20 5c 62 65 67 69 |yle|..% | \begi|
|00004a90| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 20 20 20 |n{macroc|ode}. |
|00004aa0| 5c 64 65 66 5c 40 74 65 | 6d 70 61 7b 23 31 7d 25 |\def\@te|mpa{#1}%|
|00004ab0| 0a 20 20 20 5c 69 66 78 | 5c 40 74 65 6d 70 61 5c |. \ifx|\@tempa\|
|00004ac0| 40 65 6d 70 74 79 0a 20 | 20 20 20 5c 74 68 65 6f |@empty. | \theo|
|00004ad0| 72 65 6d 40 62 6f 64 79 | 66 6f 6e 74 7b 7d 25 0a |rem@body|font{}%.|
|00004ae0| 20 20 20 5c 65 6c 73 65 | 0a 20 20 20 20 5c 74 68 | \else|. \th|
|00004af0| 65 6f 72 65 6d 40 62 6f | 64 79 66 6f 6e 74 7b 5c |eorem@bo|dyfont{\|
|00004b00| 72 65 73 65 74 40 66 6f | 6e 74 23 31 7d 25 0a 20 |reset@fo|nt#1}%. |
|00004b10| 20 20 5c 66 69 0a 20 20 | 20 7d 0a 5c 6e 65 77 74 | \fi. | }.\newt|
|00004b20| 6f 6b 73 5c 74 68 65 6f | 72 65 6d 40 62 6f 64 79 |oks\theo|rem@body|
|00004b30| 66 6f 6e 74 0a 5c 67 6c | 6f 62 61 6c 5c 74 68 65 |font.\gl|obal\the|
|00004b40| 6f 72 65 6d 40 62 6f 64 | 79 66 6f 6e 74 7b 7d 0a |orem@bod|yfont{}.|
|00004b50| 25 20 20 20 20 5c 65 6e | 64 7b 6d 61 63 72 6f 63 |% \en|d{macroc|
|00004b60| 6f 64 65 7d 0a 25 20 5c | 65 6e 64 7b 6d 61 63 72 |ode}.% \|end{macr|
|00004b70| 6f 7d 0a 25 20 5c 65 6e | 64 7b 6d 61 63 72 6f 7d |o}.% \en|d{macro}|
|00004b80| 0a 25 20 0a 25 0a 25 20 | 5c 62 65 67 69 6e 7b 6d |.% .%.% |\begin{m|
|00004b90| 61 63 72 6f 7d 7b 5c 74 | 68 65 6f 72 65 6d 68 65 |acro}{\t|heoremhe|
|00004ba0| 61 64 65 72 66 6f 6e 74 | 7d 0a 25 20 5c 63 68 61 |aderfont|}.% \cha|
|00004bb0| 6e 67 65 73 7b 76 32 2e | 30 67 7d 7b 38 39 2f 30 |nges{v2.|0g}{89/0|
|00004bc0| 39 2f 31 39 7d 7b 4d 61 | 63 72 6f 20 61 64 64 65 |9/19}{Ma|cro adde|
|00004bd0| 64 2e 7d 0a 25 20 20 20 | 20 54 68 65 20 66 6f 6e |d.}.% | The fon|
|00004be0| 74 20 66 6f 72 20 74 68 | 65 20 74 68 65 6f 72 65 |t for th|e theore|
|00004bf0| 6d 20 68 65 61 64 65 72 | 73 20 69 73 20 68 61 6e |m header|s is han|
|00004c00| 64 6c 65 64 20 64 69 66 | 66 65 72 65 6e 74 6c 79 |dled dif|ferently|
|00004c10| 20 62 65 63 61 75 73 65 | 0a 25 20 20 20 20 74 68 | because|.% th|
|00004c20| 69 73 20 64 65 66 69 6e | 69 74 69 6f 6e 20 61 70 |is defin|ition ap|
|00004c30| 70 6c 69 65 73 20 74 6f | 20 61 6c 6c 20 74 68 65 |plies to| all the|
|00004c40| 6f 72 65 6d 20 73 74 79 | 6c 65 73 2e 0a 25 20 20 |orem sty|les..% |
|00004c50| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f | \begin|{macroco|
|00004c60| 64 65 7d 0a 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |de}.\gde|f\theore|
|00004c70| 6d 68 65 61 64 65 72 66 | 6f 6e 74 23 31 7b 5c 67 |mheaderf|ont#1{\g|
|00004c80| 64 65 66 5c 74 68 65 6f | 72 65 6d 40 68 65 61 64 |def\theo|rem@head|
|00004c90| 65 72 66 6f 6e 74 7b 23 | 31 7d 25 0a 25 20 20 20 |erfont{#|1}%.% |
|00004ca0| 20 5c 65 6e 64 7b 6d 61 | 63 72 6f 63 6f 64 65 7d | \end{ma|crocode}|
|00004cb0| 0a 25 20 20 20 20 41 66 | 74 65 72 20 75 73 69 6e |.% Af|ter usin|
|00004cc0| 67 20 74 68 65 20 6d 61 | 63 72 6f 20 6f 6e 63 65 |g the ma|cro once|
|00004cd0| 20 69 74 20 69 73 20 72 | 65 64 65 66 69 6e 65 64 | it is r|edefined|
|00004ce0| 20 74 6f 20 70 72 6f 64 | 75 63 65 20 61 6e 20 65 | to prod|uce an e|
|00004cf0| 72 72 6f 72 0a 25 20 20 | 20 20 6d 65 73 73 61 67 |rror.% | messag|
|00004d00| 65 2e 0a 25 20 20 20 20 | 5c 62 65 67 69 6e 7b 6d |e..% |\begin{m|
|00004d10| 61 63 72 6f 63 6f 64 65 | 7d 0a 20 20 20 20 20 20 |acrocode|}. |
|00004d20| 20 5c 67 64 65 66 5c 74 | 68 65 6f 72 65 6d 68 65 | \gdef\t|heoremhe|
|00004d30| 61 64 65 72 66 6f 6e 74 | 23 23 31 7b 25 0a 20 20 |aderfont|##1{%. |
|00004d40| 20 20 20 20 20 20 5c 74 | 79 70 65 6f 75 74 7b 5c | \t|ypeout{\|
|00004d50| 73 74 72 69 6e 67 5c 74 | 68 65 6f 72 65 6d 68 65 |string\t|heoremhe|
|00004d60| 61 64 65 72 66 6f 6e 74 | 5c 73 70 61 63 65 20 73 |aderfont|\space s|
|00004d70| 68 6f 75 6c 64 20 62 65 | 20 75 73 65 64 0a 20 20 |hould be| used. |
|00004d80| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 6f | | o|
|00004d90| 6e 6c 79 20 6f 6e 63 65 | 2e 7d 7d 7d 0a 25 20 20 |nly once|.}}}.% |
|00004da0| 20 20 5c 65 6e 64 7b 6d | 61 63 72 6f 63 6f 64 65 | \end{m|acrocode|
|00004db0| 7d 0a 25 20 5c 65 6e 64 | 7b 6d 61 63 72 6f 7d 0a |}.% \end|{macro}.|
|00004dc0| 25 20 0a 25 20 5c 62 65 | 67 69 6e 7b 6d 61 63 72 |% .% \be|gin{macr|
|00004dd0| 6f 7d 7b 5c 74 68 65 6f | 72 65 6d 40 68 65 61 64 |o}{\theo|rem@head|
|00004de0| 65 72 66 6f 6e 74 7d 0a | 25 20 5c 63 68 61 6e 67 |erfont}.|% \chang|
|00004df0| 65 73 7b 76 32 2e 30 67 | 7d 7b 38 39 2f 30 39 2f |es{v2.0g|}{89/09/|
|00004e00| 31 39 7d 7b 4d 61 63 72 | 6f 20 61 64 64 65 64 2e |19}{Macr|o added.|
|00004e10| 7d 0a 25 20 20 20 20 54 | 6f 20 73 65 74 20 74 68 |}.% T|o set th|
|00004e20| 65 20 7c 5c 74 68 65 6f | 72 65 6d 40 68 65 61 64 |e |\theo|rem@head|
|00004e30| 65 72 66 6f 6e 74 7c 20 | 64 65 66 61 75 6c 74 20 |erfont| |default |
|00004e40| 77 65 20 66 69 72 73 74 | 20 74 65 73 74 20 69 66 |we first| test if|
|00004e50| 0a 25 20 20 20 20 74 68 | 65 20 6e 65 77 20 66 6f |.% th|e new fo|
|00004e60| 6e 74 73 65 6c 65 63 74 | 69 6f 6e 20 73 63 68 65 |ntselect|ion sche|
|00004e70| 6d 65 20 69 73 20 69 6e | 20 66 6f 72 63 65 2e 0a |me is in| force..|
|00004e80| 25 20 5c 63 68 61 6e 67 | 65 73 7b 76 32 2e 31 61 |% \chang|es{v2.1a|
|00004e90| 7d 7b 39 30 2f 30 32 2f | 31 35 7d 7b 53 75 70 70 |}{90/02/|15}{Supp|
|00004ea0| 6f 72 74 20 66 6f 72 20 | 6e 65 77 20 66 6f 6e 74 |ort for |new font|
|00004eb0| 20 73 65 6c 65 63 74 69 | 6f 6e 2e 7d 0a 25 20 20 | selecti|on.}.% |
|00004ec0| 20 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 63 6f | \begin|{macroco|
|00004ed0| 64 65 7d 0a 5c 69 66 78 | 5c 75 70 73 68 61 70 65 |de}.\ifx|\upshape|
|00004ee0| 5c 75 6e 64 65 66 69 6e | 65 64 0a 25 20 20 20 20 |\undefin|ed.% |
|00004ef0| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|00004f00| 25 20 20 20 20 49 66 20 | 6e 6f 74 20 77 65 20 64 |% If |not we d|
|00004f10| 65 66 69 6e 65 20 69 74 | 20 74 6f 20 65 78 70 61 |efine it| to expa|
|00004f20| 6e 64 20 69 6e 74 6f 20 | 7c 5c 62 66 73 65 72 69 |nd into ||\bfseri|
|00004f30| 65 73 7c 2e 20 57 65 20 | 64 6f 6e 27 74 20 75 73 |es|. We |don't us|
|00004f40| 65 0a 25 20 20 20 20 7c | 5c 6c 65 74 7c 20 6a 75 |e.% ||\let| ju|
|00004f50| 73 74 20 69 6e 20 63 61 | 73 65 20 61 20 66 6f 6c |st in ca|se a fol|
|00004f60| 6c 6f 77 69 6e 67 20 73 | 74 79 6c 65 20 6f 70 74 |lowing s|tyle opt|
|00004f70| 69 6f 6e 20 72 65 64 65 | 66 69 6e 65 73 20 74 68 |ion rede|fines th|
|00004f80| 69 73 0a 25 20 20 20 20 | 6d 61 63 72 6f 2e 0a 25 |is.% |macro..%|
|00004f90| 20 20 20 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f | \beg|in{macro|
|00004fa0| 63 6f 64 65 7d 0a 5c 67 | 64 65 66 5c 74 68 65 6f |code}.\g|def\theo|
|00004fb0| 72 65 6d 40 68 65 61 64 | 65 72 66 6f 6e 74 7b 5c |rem@head|erfont{\|
|00004fc0| 62 66 73 65 72 69 65 73 | 7d 0a 25 20 20 20 20 5c |bfseries|}.% \|
|00004fd0| 65 6e 64 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 25 |end{macr|ocode}.%|
|00004fe0| 20 20 20 20 4f 74 68 65 | 72 77 69 73 65 20 77 65 | Othe|rwise we|
|00004ff0| 20 72 65 73 65 74 20 74 | 68 65 20 63 75 72 72 65 | reset t|he curre|
|00005000| 6e 74 20 73 68 61 70 65 | 20 62 65 66 6f 72 65 20 |nt shape| before |
|00005010| 63 61 6c 6c 69 6e 67 20 | 7c 5c 62 66 73 65 72 69 |calling ||\bfseri|
|00005020| 65 73 7c 2e 20 0a 25 20 | 20 20 20 5c 62 65 67 69 |es|. .% | \begi|
|00005030| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 65 6c |n{macroc|ode}.\el|
|00005040| 73 65 20 5c 67 64 65 66 | 5c 74 68 65 6f 72 65 6d |se \gdef|\theorem|
|00005050| 40 68 65 61 64 65 72 66 | 6f 6e 74 7b 5c 6e 6f 72 |@headerf|ont{\nor|
|00005060| 6d 61 6c 66 6f 6e 74 5c | 62 66 73 65 72 69 65 73 |malfont\|bfseries|
|00005070| 7d 5c 66 69 0a 25 20 20 | 20 20 5c 65 6e 64 7b 6d |}\fi.% | \end{m|
|00005080| 61 63 72 6f 63 6f 64 65 | 7d 0a 25 20 5c 65 6e 64 |acrocode|}.% \end|
|00005090| 7b 6d 61 63 72 6f 7d 0a | 25 0a 25 20 5c 62 65 67 |{macro}.|%.% \beg|
|000050a0| 69 6e 7b 6d 61 63 72 6f | 7d 7b 5c 74 68 40 70 6c |in{macro|}{\th@pl|
|000050b0| 61 69 6e 7d 0a 25 20 5c | 62 65 67 69 6e 7b 6d 61 |ain}.% \|begin{ma|
|000050c0| 63 72 6f 7d 7b 5c 74 68 | 40 62 72 65 61 6b 7d 0a |cro}{\th|@break}.|
|000050d0| 25 20 5c 62 65 67 69 6e | 7b 6d 61 63 72 6f 7d 7b |% \begin|{macro}{|
|000050e0| 5c 74 68 40 6d 61 72 67 | 69 6e 62 72 65 61 6b 7d |\th@marg|inbreak}|
|000050f0| 0a 25 20 5c 62 65 67 69 | 6e 7b 6d 61 63 72 6f 7d |.% \begi|n{macro}|
|00005100| 7b 5c 74 68 40 63 68 61 | 6e 67 65 62 72 65 61 6b |{\th@cha|ngebreak|
|00005110| 7d 0a 25 20 5c 62 65 67 | 69 6e 7b 6d 61 63 72 6f |}.% \beg|in{macro|
|00005120| 7d 7b 5c 74 68 40 63 68 | 61 6e 67 65 7d 0a 25 20 |}{\th@ch|ange}.% |
|00005130| 5c 62 65 67 69 6e 7b 6d | 61 63 72 6f 7d 7b 5c 74 |\begin{m|acro}{\t|
|00005140| 68 40 6d 61 72 67 69 6e | 7d 0a 25 20 20 20 20 54 |h@margin|}.% T|
|00005150| 68 65 20 64 69 66 66 65 | 72 65 6e 74 20 73 74 79 |he diffe|rent sty|
|00005160| 6c 65 73 20 61 72 65 20 | 64 65 66 69 6e 65 64 20 |les are |defined |
|00005170| 69 6e 20 6d 61 63 72 6f | 73 20 73 75 63 68 20 61 |in macro|s such a|
|00005180| 73 0a 25 20 20 20 20 7c | 5c 74 68 40 70 6c 61 69 |s.% ||\th@plai|
|00005190| 6e 7c 2e 20 20 53 69 6e | 63 65 20 6d 65 6d 6f 72 |n|. Sin|ce memor|
|000051a0| 79 20 73 70 61 63 65 20 | 69 73 20 70 72 65 63 69 |y space |is preci|
|000051b0| 6f 75 73 20 69 6e 0a 25 | 20 20 20 20 60 60 6e 6f |ous in.%| ``no|
|000051c0| 6e 2d 42 69 67 2d 76 65 | 72 73 69 6f 6e 73 27 27 |n-Big-ve|rsions''|
|000051d0| 2c 20 77 65 20 68 61 76 | 65 20 74 6f 20 61 76 6f |, we hav|e to avo|
|000051e0| 69 64 20 6f 66 66 65 72 | 69 6e 67 20 74 6f 6f 20 |id offer|ing too |
|000051f0| 6d 61 6e 79 20 75 6e 75 | 73 65 64 0a 25 20 20 20 |many unu|sed.% |
|00005200| 20 64 65 66 69 6e 69 74 | 69 6f 6e 73 2e 20 20 54 | definit|ions. T|
|00005210| 68 65 72 65 66 6f 72 65 | 20 77 65 20 64 65 66 69 |herefore| we defi|
|00005220| 6e 65 20 74 68 65 73 65 | 20 73 74 79 6c 65 73 20 |ne these| styles |
|00005230| 69 6e 20 73 65 70 61 72 | 61 74 65 20 66 69 6c 65 |in separ|ate file|
|00005240| 73 0a 25 20 20 20 20 74 | 68 61 74 20 63 61 6e 20 |s.% t|hat can |
|00005250| 62 65 20 6c 6f 61 64 65 | 64 20 6f 6e 20 64 65 6d |be loade|d on dem|
|00005260| 61 6e 64 2e 20 20 54 68 | 75 73 20 74 68 65 20 63 |and. Th|us the c|
|00005270| 6f 6d 6d 61 6e 64 73 20 | 74 68 65 6d 73 65 6c 76 |ommands |themselv|
|00005280| 65 73 20 6f 6e 6c 79 0a | 25 20 20 20 20 6c 6f 61 |es only.|% loa|
|00005290| 64 20 74 68 65 73 65 20 | 66 69 6c 65 73 2e 20 57 |d these |files. W|
|000052a0| 65 20 75 73 65 20 7c 5c | 40 69 6e 70 75 74 40 7c |e use |\|@input@||
|000052b0| 20 61 20 5c 4c 61 54 65 | 58 65 7b 7d 20 69 6e 74 | a \LaTe|Xe{} int|
|000052c0| 65 72 6e 61 6c 20 63 6f | 6d 6d 61 6e 64 0a 25 20 |ernal co|mmand.% |
|000052d0| 20 20 20 74 68 61 74 20 | 65 6e 73 75 72 65 73 20 | that |ensures |
|000052e0| 74 68 61 74 20 74 68 65 | 20 66 69 6c 65 20 77 69 |that the| file wi|
|000052f0| 6c 6c 20 62 65 20 6c 69 | 73 74 65 64 20 77 69 74 |ll be li|sted wit|
|00005300| 68 20 7c 5c 6c 69 73 74 | 66 69 6c 65 73 7c 0a 25 |h |\list|files|.%|
|00005310| 20 5c 63 68 61 6e 67 65 | 73 7b 76 32 2e 32 61 7d | \change|s{v2.2a}|
|00005320| 7b 39 34 2f 30 32 2f 30 | 32 7d 7b 55 73 65 20 60 |{94/02/0|2}{Use `|
|00005330| 40 69 6e 70 75 74 40 20 | 74 6f 20 6c 6f 61 64 20 |@input@ |to load |
|00005340| 74 68 65 6f 72 65 6d 20 | 6c 61 79 6f 75 74 20 66 |theorem |layout f|
|00005350| 69 6c 65 73 7d 0a 25 20 | 20 20 20 5c 62 65 67 69 |iles}.% | \begi|
|00005360| 6e 7b 6d 61 63 72 6f 63 | 6f 64 65 7d 0a 5c 67 64 |n{macroc|ode}.\gd|
|00005370| 65 66 5c 74 68 40 70 6c | 61 69 6e 7b 5c 40 69 6e |ef\th@pl|ain{\@in|
|00005380| 70 75 74 40 7b 74 68 70 | 2e 73 74 79 7d 7d 0a 5c |put@{thp|.sty}}.\|
|00005390| 67 64 65 66 5c 74 68 40 | 62 72 65 61 6b 7b 5c 40 |gdef\th@|break{\@|
|000053a0| 69 6e 70 75 74 40 7b 74 | 68 62 2e 73 74 79 7d 7d |input@{t|hb.sty}}|
|000053b0| 0a 5c 67 64 65 66 5c 74 | 68 40 6d 61 72 67 69 6e |.\gdef\t|h@margin|
|000053c0| 62 72 65 61 6b 7b 5c 40 | 69 6e 70 75 74 40 7b 74 |break{\@|input@{t|
|000053d0| 68 6d 62 2e 73 74 79 7d | 7d 0a 5c 67 64 65 66 5c |hmb.sty}|}.\gdef\|
|000053e0| 74 68 40 63 68 61 6e 67 | 65 62 72 65 61 6b 7b 5c |th@chang|ebreak{\|
|000053f0| 40 69 6e 70 75 74 40 7b | 74 68 63 62 2e 73 74 79 |@input@{|thcb.sty|
|00005400| 7d 7d 0a 5c 67 64 65 66 | 5c 74 68 40 63 68 61 6e |}}.\gdef|\th@chan|
|00005410| 67 65 7b 5c 40 69 6e 70 | 75 74 40 7b 74 68 63 2e |ge{\@inp|ut@{thc.|
|00005420| 73 74 79 7d 7d 0a 5c 67 | 64 65 66 5c 74 68 40 6d |sty}}.\g|def\th@m|
|00005430| 61 72 67 69 6e 7b 5c 40 | 69 6e 70 75 74 40 7b 74 |argin{\@|input@{t|
|00005440| 68 6d 2e 73 74 79 7d 7d | 0a 25 20 20 20 20 5c 65 |hm.sty}}|.% \e|
|00005450| 6e 64 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 25 20 |nd{macro|code}.% |
|00005460| 20 20 20 54 68 69 73 20 | 6c 69 73 74 20 77 69 6c | This |list wil|
|00005470| 6c 20 62 65 20 65 78 70 | 61 6e 64 65 64 20 77 68 |l be exp|anded wh|
|00005480| 65 6e 20 6e 65 77 20 73 | 74 79 6c 65 73 20 62 65 |en new s|tyles be|
|00005490| 63 6f 6d 65 0a 25 20 20 | 20 20 61 76 61 69 6c 61 |come.% | availa|
|000054a0| 62 6c 65 2e 20 20 46 6f | 72 20 74 65 73 74 69 6e |ble. Fo|r testin|
|000054b0| 67 2c 20 20 6a 75 73 74 | 20 61 70 70 65 6e 64 20 |g, just| append |
|000054c0| 6e 65 77 20 74 68 65 6f | 72 65 6d 20 73 75 62 73 |new theo|rem subs|
|000054d0| 74 79 6c 65 73 0a 25 20 | 20 20 20 61 73 20 64 6f |tyles.% | as do|
|000054e0| 63 75 6d 65 6e 74 20 6f | 70 74 69 6f 6e 73 2e 0a |cument o|ptions..|
|000054f0| 25 20 5c 65 6e 64 7b 6d | 61 63 72 6f 7d 0a 25 20 |% \end{m|acro}.% |
|00005500| 5c 65 6e 64 7b 6d 61 63 | 72 6f 7d 0a 25 20 5c 65 |\end{mac|ro}.% \e|
|00005510| 6e 64 7b 6d 61 63 72 6f | 7d 0a 25 20 5c 65 6e 64 |nd{macro|}.% \end|
|00005520| 7b 6d 61 63 72 6f 7d 0a | 25 20 5c 65 6e 64 7b 6d |{macro}.|% \end{m|
|00005530| 61 63 72 6f 7d 0a 25 20 | 5c 65 6e 64 7b 6d 61 63 |acro}.% |\end{mac|
|00005540| 72 6f 7d 0a 25 0a 25 0a | 25 0a 25 20 5c 73 75 62 |ro}.%.%.|%.% \sub|
|00005550| 73 65 63 74 69 6f 6e 7b | 44 65 66 69 6e 69 74 69 |section{|Definiti|
|00005560| 6f 6e 20 6f 66 20 61 20 | 6e 65 77 20 74 68 65 6f |on of a |new theo|
|00005570| 72 65 6d 20 73 65 74 7d | 0a 25 0a 25 20 41 73 20 |rem set}|.%.% As |
|00005580| 61 6c 72 65 61 64 79 20 | 70 6f 69 6e 74 65 64 20 |already |pointed |
|00005590| 6f 75 74 2c 20 61 20 6e | 65 77 20 74 68 65 6f 72 |out, a n|ew theor|
|000055a0| 65 6d 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 63 |em envir|onment c|
|000055b0| 61 6e 20 62 65 20 64 65 | 66 69 6e 65 64 20 69 6e |an be de|fined in|
|000055c0| 0a 25 20 74 68 72 65 65 | 20 64 69 66 66 65 72 65 |.% three| differe|
|000055d0| 6e 74 20 77 61 79 73 3a | 0a 25 20 5c 62 65 67 69 |nt ways:|.% \begi|
|000055e0| 6e 7b 76 65 72 62 61 74 | 69 6d 7d 0a 25 20 20 20 |n{verbat|im}.% |
|000055f0| 20 5c 6e 65 77 74 68 65 | 6f 72 65 6d 7b 4c 65 6d | \newthe|orem{Lem|
|00005600| 7d 7b 4c 65 6d 6d 61 7d | 0a 25 20 20 20 20 5c 6e |}{Lemma}|.% \n|
|00005610| 65 77 74 68 65 6f 72 65 | 6d 7b 4c 65 6d 7d 7b 4c |ewtheore|m{Lem}{L|
|00005620| 65 6d 6d 61 7d 5b 73 65 | 63 74 69 6f 6e 5d 0a 25 |emma}[se|ction].%|
|00005630| 20 20 20 20 5c 6e 65 77 | 74 68 65 6f 72 65 6d 7b | \new|theorem{|
|00005640| 4c 65 6d 7d 5b 54 68 65 | 6f 72 65 6d 5d 7b 4c 65 |Lem}[The|orem]{Le|
|00005650| 6d 6d 61 7d 0a 25 5c 65 | 6e 64 7b 76 65 72 62 61 |mma}.%\e|nd{verba|
|00005660| 74 69 6d 7d 0a 25 20 54 | 68 65 20 66 75 6e 63 74 |tim}.% T|he funct|
|00005670| 69 6f 6e 20 6f 66 20 74 | 68 65 20 6d 61 63 72 6f |ion of t|he macro|
|00005680| 20 7c 5c 6e 65 77 74 68 | 65 6f 72 65 6d 7c 20 69 | |\newth|eorem| i|
|00005690| 73 20 74 6f 20 72 65 63 | 6f 67 6e 69 7a 65 20 74 |s to rec|ognize t|
|000056a0| 68 65 73 65 20 63 61 73 | 65 73 0a 25 20 61 6e 64 |hese cas|es.% and|
|000056b0| 20 74 68 65 6e 20 74 6f | 20 62 72 61 6e 63 68 20 | then to| branch |
|000056c0| 69 6e 74 6f 20 6f 6e 65 | 20 6f 66 20 74 68 65 20 |into one| of the |
|000056d0| 74 68 72 65 65 20 6d 61 | 63 72 6f 73 20 7c 5c 40 |three ma|cros |\@|
|000056e0| 79 6e 74 68 6d 7c 2c 20 | 7c 5c 40 78 6e 74 68 6d |ynthm|, ||\@xnthm|
|000056f0| 7c 0a 25 20 6f 72 20 7c | 5c 40 6f 74 68 6d 7c 2e ||.% or ||\@othm|.|
|00005700| 20 20 54 68 69 73 20 6d | 65 63 68 61 6e 69 73 6d | This m|echanism|
|00005710| 20 69 73 20 61 64 6f 70 | 74 65 64 20 75 6e 63 68 | is adop|ted unch|
|00005720| 61 6e 67 65 64 20 66 72 | 6f 6d 0a 25 20 5c 63 69 |anged fr|om.% \ci|
|00005730| 74 65 7b 6c 61 74 65 78 | 3a 73 6f 75 72 63 65 7d |te{latex|:source}|
|00005740| 3b 20 74 68 65 20 65 73 | 73 65 6e 74 69 61 6c 20 |; the es|sential |
|00005750| 70 6f 69 6e 74 20 68 65 | 72 65 20 69 73 20 74 68 |point he|re is th|
|00005760| 61 74 2c 20 66 6f 72 20 | 65 78 61 6d 70 6c 65 2c |at, for |example,|
|00005770| 0a 25 20 69 6e 20 74 68 | 65 20 73 65 63 6f 6e 64 |.% in th|e second|
|00005780| 20 63 61 73 65 2c 20 74 | 68 65 20 61 72 67 75 6d | case, t|he argum|
|00005790| 65 6e 74 73 20 5c 74 65 | 78 74 74 74 7b 4c 65 6d |ents \te|xttt{Lem|
|000057a0| 7d 2c 20 5c 74 65 78 74 | 74 74 7b 4c 65 6d 6d 61 |}, \text|tt{Lemma|
|000057b0| 7d 20 61 6e 64 0a 25 20 | 5c 74 65 78 74 74 74 7b |} and.% |\texttt{|
|000057c0| 73 65 63 74 69 6f 6e 7d | 20 61 72 65 20 70 61 73 |section}| are pas|
|000057d0| 73 65 64 20 6f 76 65 72 | 20 74 6f 20 74 68 65 20 |sed over| to the |
|000057e0| 6d 61 63 72 6f 20 7c 5c | 40 78 6e 74 68 6d 7c 2e |macro |\|@xnthm|.|
|000057f0| 0a 25 0a 25 20 57 65 20 | 69 6e 73 70 65 63 74 20 |.%.% We |inspect |
|00005800| 74 68 69 73 20 63 61 73 | 65 20 66 69 72 73 74 20 |this cas|e first |
|00005810| 62 65 63 61 75 73 65 20 | 74 68 65 20 6f 74 68 65 |because |the othe|
|00005820| 72 73 20 70 72 65 73 65 | 6e 74 20 66 65 77 65 72 |rs prese|nt fewer|
|00005830| 20 70 72 6f 62 6c 65 6d | 73 2c 0a 25 20 61 6e 64 | problem|s,.% and|
|00005840| 20 74 68 75 73 20 61 72 | 65 20 65 61 73 69 6c 79 | thus ar|e easily|
|00005850| 20 64 65 72 69 76 65 64 | 20 66 72 6f 6d 20 74 68 | derived| from th|
|00005860| 69 73 20 6f 6e 65 2e 0a | 25 0a 25 20 5c 62 65 67 |is one..|%.% \beg|
|00005870| 69 6e 7b 6d 61 63 72 6f | 7d 7b 5c 40 78 6e 74 68 |in{macro|}{\@xnth|
|00005880| 6d 7d 0a 25 20 20 20 20 | 46 6f 72 20 6f 75 72 20 |m}.% |For our |
|00005890| 65 78 61 6d 70 6c 65 20 | 61 72 67 75 6d 65 6e 74 |example |argument|
|000058a0| 73 2c 20 74 68 65 20 6d | 61 63 72 6f 20 7c 5c 40 |s, the m|acro |\@|
|000058b0| 78 6e 74 68 6d 7c 20 6d | 75 73 74 20 66 75 6c 66 |xnthm| m|ust fulf|
|000058c0| 69 6c 6c 0a 25 20 20 20 | 20 74 68 65 20 66 6f 6c |ill.% | the fol|
|000058d0| 6c 6f 77 69 6e 67 3a 0a | 25 20 20 20 20 5c 62 65 |lowing:.|% \be|
|000058e0| 67 69 6e 7b 69 74 65 6d | 69 7a 65 7d 0a 25 20 20 |gin{item|ize}.% |
|000058f0| 20 20 20 20 20 5c 69 74 | 65 6d 0a 25 20 20 20 20 | \it|em.% |
|00005900| 20 20 20 20 20 20 44 65 | 66 69 6e 65 20 61 20 6e | De|fine a n|
|00005910| 65 77 20 5c 4c 61 54 65 | 58 2d 63 6f 75 6e 74 65 |ew \LaTe|X-counte|
|00005920| 72 20 60 4c 65 6d 27 0a | 25 20 20 20 20 20 20 20 |r `Lem'.|% |
|00005930| 5c 69 74 65 6d 0a 25 20 | 20 20 20 20 20 20 20 20 |\item.% | |
|00005940| 20 72 65 73 65 74 20 74 | 68 69 73 20 63 6f 75 6e | reset t|his coun|
|00005950| 74 65 72 20 77 69 74 68 | 69 6e 20 61 20 7c 5c 73 |ter with|in a |\s|
|00005960| 65 63 74 69 6f 6e 7c 0a | 25 20 20 20 20 20 20 20 |ection|.|% |
|00005970| 5c 69 74 65 6d 0a 25 20 | 20 20 20 20 20 20 20 20 |\item.% | |
|00005980| 20 64 65 66 69 6e 65 20 | 74 68 65 20 6d 61 63 72 | define |the macr|
|00005990| 6f 20 7c 5c 74 68 65 4c | 65 6d 7c 0a 25 20 20 20 |o |\theL|em|.% |
|000059a0| 20 20 20 20 5c 69 74 65 | 6d 0a 25 20 20 20 20 20 | \ite|m.% |
|000059b0| 20 20 20 20 20 64 65 66 | 69 6e 65 20 74 68 65 20 | def|ine the |
|000059c0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 6d 61 63 72 |environm|ent macr|
|000059d0| 6f 73 20 7c 5c 4c 65 6d | 7c 20 61 6e 64 0a 25 20 |os |\Lem|| and.% |
|000059e0| 20 20 20 20 20 20 20 20 | 20 7c 5c 65 6e 64 4c 65 | | |\endLe|
|000059f0| 6d 7c 20 75 73 69 6e 67 | 20 74 68 65 20 63 75 72 |m| using| the cur|
|00005a00| 72 65 6e 74 0a 25 20 20 | 20 20 20 20 20 20 20 20 |rent.% | |
|00005a10| 7c 5c 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 7c 20 ||\theore|mstyle| |
|00005a20| 61 6e 64 20 7c 5c 74 68 | 65 6f 72 65 6d 40 62 6f |and |\th|eorem@bo|
|00005a30| 64 79 66 6f 6e 74 7c 2e | 0a 25 20 20 20 20 5c 65 |dyfont|.|.% \e|
|00005a40| 6e 64 7b 69 74 65 6d 69 | 7a 65 7d 0a 25 20 20 20 |nd{itemi|ze}.% |
|00005a50| 20 4f 62 76 69 6f 75 73 | 6c 79 2c 20 61 6c 6c 20 | Obvious|ly, all |
|00005a60| 74 68 69 73 20 73 68 6f | 75 6c 64 20 68 61 70 70 |this sho|uld happ|
|00005a70| 65 6e 20 6f 6e 6c 79 20 | 69 66 20 74 68 65 20 66 |en only |if the f|
|00005a80| 69 72 73 74 20 61 72 67 | 75 6d 65 6e 74 0a 25 20 |irst arg|ument.% |
|00005a90| 20 20 20 6f 66 20 7c 5c | 40 78 6e 74 68 6d 7c 20 | of |\|@xnthm| |
|00005aa0| 28 69 2e 65 2e 5c 20 5c | 74 65 78 74 74 74 7b 4c |(i.e.\ \|texttt{L|
|00005ab0| 65 6d 7d 20 69 6e 20 6f | 75 72 20 65 78 61 6d 70 |em} in o|ur examp|
|00005ac0| 6c 65 29 20 69 73 20 63 | 68 6f 73 65 6e 20 73 6f |le) is c|hosen so|
|00005ad0| 0a 25 20 20 20 20 61 73 | 20 6e 6f 74 20 74 6f 20 |.% as| not to |
|00005ae0| 63 6f 6e 66 6c 69 63 74 | 20 77 69 74 68 20 61 6e |conflict| with an|
|00005af0| 79 20 70 72 65 76 69 6f | 75 73 6c 79 20 64 65 66 |y previo|usly def|
|00005b00| 69 6e 65 64 20 63 6f 6d | 6d 61 6e 64 73 20 6f 72 |ined com|mands or|
|00005b10| 0a 25 20 20 20 20 65 6e | 76 69 72 6f 6e 6d 65 6e |.% en|vironmen|
|00005b20| 74 73 2e 20 20 54 68 69 | 73 20 74 65 73 74 20 69 |ts. Thi|s test i|
|00005b30| 73 20 70 65 72 66 6f 72 | 6d 65 64 20 62 79 20 74 |s perfor|med by t|
|00005b40| 68 65 20 5c 4c 61 54 65 | 58 7b 7d 20 6d 61 63 72 |he \LaTe|X{} macr|
|00005b50| 6f 0a 25 20 20 20 20 7c | 5c 40 69 66 64 65 66 69 |o.% ||\@ifdefi|
|00005b60| 6e 61 62 6c 65 7c 2e 0a | 25 20 20 20 20 5c 62 65 |nable|..|% \be|
|00005b70| 67 69 6e 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 5c |gin{macr|ocode}.\|
|00005b80| 67 64 65 66 5c 40 78 6e | 74 68 6d 23 31 23 32 5b |gdef\@xn|thm#1#2[|
|00005b90| 23 33 5d 7b 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |#3]{\exp|andafter|
|00005ba0| 5c 40 69 66 64 65 66 69 | 6e 61 62 6c 65 5c 63 73 |\@ifdefi|nable\cs|
|00005bb0| 6e 61 6d 65 20 23 31 5c | 65 6e 64 63 73 6e 61 6d |name #1\|endcsnam|
|00005bc0| 65 0a 25 20 20 20 20 5c | 65 6e 64 7b 6d 61 63 72 |e.% \|end{macr|
|00005bd0| 6f 63 6f 64 65 7d 0a 25 | 20 20 20 20 54 68 65 72 |ocode}.%| Ther|
|00005be0| 65 66 6f 72 65 2c 20 74 | 68 65 20 66 69 72 73 74 |efore, t|he first|
|00005bf0| 20 61 72 67 75 6d 65 6e | 74 20 6f 66 20 7c 5c 40 | argumen|t of |\@|
|00005c00| 69 66 64 65 66 69 6e 61 | 62 6c 65 7c 20 69 73 20 |ifdefina|ble| is |
|00005c10| 74 68 65 0a 25 20 20 20 | 20 65 78 70 61 6e 73 69 |the.% | expansi|
|00005c20| 6f 6e 20 28 69 6e 20 74 | 68 65 20 65 78 61 6d 70 |on (in t|he examp|
|00005c30| 6c 65 2c 20 7c 5c 4c 65 | 6d 7c 29 20 6f 66 0a 25 |le, |\Le|m|) of.%|
|00005c40| 20 20 20 20 7c 5c 63 73 | 6e 61 6d 65 7c 7c 23 31 | |\cs|name||#1|
|00005c50| 5c 65 6e 64 63 73 6e 61 | 6d 65 7c 2e 20 20 54 68 |\endcsna|me|. Th|
|00005c60| 65 20 73 65 63 6f 6e 64 | 20 61 72 67 75 6d 65 6e |e second| argumen|
|00005c70| 74 20 69 73 0a 25 20 20 | 20 20 65 78 65 63 75 74 |t is.% | execut|
|00005c80| 65 64 20 6f 6e 6c 79 20 | 69 66 20 74 68 65 20 74 |ed only |if the t|
|00005c90| 65 73 74 20 68 61 73 20 | 62 65 65 6e 20 63 6f 6d |est has |been com|
|00005ca0| 70 6c 65 74 65 64 20 73 | 75 63 63 65 73 73 66 75 |pleted s|uccessfu|
|00005cb0| 6c 6c 79 2e 0a 25 20 20 | 20 20 5c 62 65 67 69 6e |lly..% | \begin|
|00005cc0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 20 20 20 7b |{macroco|de}. {|
|00005cd0| 25 0a 25 20 20 20 20 5c | 65 6e 64 7b 6d 61 63 72 |%.% \|end{macr|
|00005ce0| 6f 63 6f 64 65 7d 0a 25 | 20 20 20 20 4e 6f 77 20 |ocode}.%| Now |
|00005cf0| 77 65 20 64 65 66 69 6e | 65 20 74 68 65 20 6e 65 |we defin|e the ne|
|00005d00| 77 20 63 6f 75 6e 74 65 | 72 2e 20 54 68 65 20 6e |w counte|r. The n|
|00005d10| 61 6d 65 73 20 6f 66 20 | 74 68 65 20 5c 4c 61 54 |ames of |the \LaT|
|00005d20| 65 58 7b 7d 0a 25 20 20 | 20 20 6d 61 63 72 6f 73 |eX{}.% | macros|
|00005d30| 20 65 6d 70 6c 6f 79 65 | 64 20 73 68 6f 75 6c 64 | employe|d should|
|00005d40| 20 73 70 65 61 6b 20 66 | 6f 72 20 74 68 65 6d 73 | speak f|or thems|
|00005d50| 65 6c 76 65 73 3a 0a 25 | 20 20 20 20 5c 62 65 67 |elves:.%| \beg|
|00005d60| 69 6e 7b 6d 61 63 72 6f | 63 6f 64 65 7d 0a 20 20 |in{macro|code}. |
|00005d70| 20 20 5c 40 64 65 66 69 | 6e 65 63 6f 75 6e 74 65 | \@defi|necounte|
|00005d80| 72 7b 23 31 7d 5c 40 61 | 64 64 74 6f 72 65 73 65 |r{#1}\@a|ddtorese|
|00005d90| 74 7b 23 31 7d 7b 23 33 | 7d 25 0a 25 20 20 20 20 |t{#1}{#3|}%.% |
|00005da0| 5c 65 6e 64 7b 6d 61 63 | 72 6f 63 6f 64 65 7d 0a |\end{mac|rocode}.|
|00005db0| 25 20 20 20 20 49 6e 20 | 64 65 66 69 6e 69 6e 67 |% In |defining|
|00005dc0| 20 60 7c 5c 74 68 65 4c | 65 6d 7c 27 20 77 65 20 | `|\theL|em|' we |
|00005dd0| 6d 75 73 74 20 67 65 6e | 65 72 61 74 65 20 74 68 |must gen|erate th|
|00005de0| 65 20 64 65 73 69 72 65 | 64 20 6d 61 63 72 6f 0a |e desire|d macro.|
|00005df0| 25 20 20 20 20 6e 61 6d | 65 20 62 79 20 75 73 65 |% nam|e by use|
|00005e00| 20 6f 66 20 7c 5c 65 78 | 70 61 6e 64 61 66 74 65 | of |\ex|pandafte|
|00005e10| 72 7c 20 61 6e 64 20 7c | 5c 63 73 6e 61 6d 65 7c |r| and ||\csname||
|00005e20| 2e 0a 25 20 20 20 20 5c | 62 65 67 69 6e 7b 6d 61 |..% \|begin{ma|
|00005e30| 63 72 6f 63 6f 64 65 7d | 0a 20 20 20 20 5c 65 78 |crocode}|. \ex|
|00005e40| 70 61 6e 64 61 66 74 65 | 72 5c 78 64 65 66 5c 63 |pandafte|r\xdef\c|
|00005e50| 73 6e 61 6d 65 20 74 68 | 65 23 31 5c 65 6e 64 63 |sname th|e#1\endc|
|00005e60| 73 6e 61 6d 65 0a 25 20 | 20 20 20 5c 65 6e 64 7b |sname.% | \end{|
|00005e70| 6d 61 63 72 6f 63 6f 64 | 65 7d 0a 25 20 20 20 20 |macrocod|e}.% |
|00005e80| 41 6e 20 7c 5c 78 64 65 | 66 7c 20 69 73 20 75 73 |An |\xde|f| is us|
|00005e90| 65 64 20 69 6e 20 6f 72 | 64 65 72 20 74 6f 20 6d |ed in or|der to m|
|00005ea0| 61 6b 65 20 74 68 65 20 | 64 65 66 69 6e 69 74 69 |ake the |definiti|
|00005eb0| 6f 6e 20 67 6c 6f 62 61 | 6c 2c 0a 25 20 20 20 20 |on globa|l,.% |
|00005ec0| 61 6e 64 20 74 6f 20 65 | 6e 73 75 72 65 20 74 68 |and to e|nsure th|
|00005ed0| 61 74 20 69 74 20 63 6f | 6e 74 61 69 6e 73 20 74 |at it co|ntains t|
|00005ee0| 68 65 20 72 65 70 6c 61 | 63 65 6d 65 6e 74 20 74 |he repla|cement t|
|00005ef0| 65 78 74 73 20 6f 66 0a | 25 20 20 20 20 7c 5c 40 |exts of.|% |\@|
|00005f00| 74 68 6d 63 6f 75 6e 74 | 65 72 73 65 70 7c 20 61 |thmcount|ersep| a|
|00005f10| 6e 64 20 7c 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 |nd |\@th|mcounter|
|00005f20| 7c 2e 5c 66 6f 6f 74 6e | 6f 74 65 7b 54 68 65 73 ||.\footn|ote{Thes|
|00005f30| 65 0a 25 20 20 20 20 74 | 77 6f 20 6d 61 63 72 6f |e.% t|wo macro|
|00005f40| 73 20 63 61 6e 20 62 65 | 20 64 65 66 69 6e 65 64 |s can be| defined|
|00005f50| 20 62 79 20 74 68 65 20 | 64 6f 63 75 6d 65 6e 74 | by the |document|
|00005f60| 20 73 74 79 6c 65 2e 20 | 20 54 68 65 69 72 20 64 | style. | Their d|
|00005f70| 65 66 61 75 6c 74 0a 25 | 20 20 20 20 76 61 6c 75 |efault.%| valu|
|00005f80| 65 73 20 70 72 6f 64 75 | 63 65 20 61 20 60 5c 74 |es produ|ce a `\t|
|00005f90| 65 78 74 74 74 7b 2e 7d | 27 20 61 73 20 73 65 70 |exttt{.}|' as sep|
|00005fa0| 61 72 61 74 69 6f 6e 20 | 61 6e 64 20 61 6e 20 61 |aration |and an a|
|00005fb0| 72 61 62 69 63 0a 25 20 | 20 20 20 72 65 70 72 65 |rabic.% | repre|
|00005fc0| 73 65 6e 74 61 74 69 6f | 6e 20 6f 66 20 74 68 65 |sentatio|n of the|
|00005fd0| 20 6e 75 6d 62 65 72 2e | 7d 20 48 6f 77 65 76 65 | number.|} Howeve|
|00005fe0| 72 2c 20 6e 6f 74 20 65 | 76 65 72 79 74 68 69 6e |r, not e|verythin|
|00005ff0| 67 20 73 68 6f 75 6c 64 | 20 62 65 0a 25 20 20 20 |g should| be.% |
|00006000| 20 65 78 70 61 6e 64 65 | 64 2e 20 46 6f 72 20 65 | expande|d. For e|
|00006010| 78 61 6d 70 6c 65 2c 20 | 69 74 20 73 61 76 65 73 |xample, |it saves|
|00006020| 20 73 70 61 63 65 20 74 | 6f 20 75 73 65 20 7c 5c | space t|o use |\|
|00006030| 74 68 65 73 65 63 74 69 | 6f 6e 7c 0a 25 20 20 20 |thesecti|on|.% |
|00006040| 20 69 6e 73 74 65 61 64 | 20 6f 66 20 69 74 73 2d | instead| of its-|
|00006050| 2d 2d 61 74 20 74 69 6d | 65 73 2d 2d 2d 6c 65 6e |--at tim|es---len|
|00006060| 67 74 68 79 20 65 78 70 | 61 6e 73 69 6f 6e 2e 0a |gthy exp|ansion..|
|00006070| 25 20 20 20 20 5c 62 65 | 67 69 6e 7b 6d 61 63 72 |% \be|gin{macr|
|00006080| 6f 63 6f 64 65 7d 0a 20 | 20 20 20 20 20 7b 5c 65 |ocode}. | {\e|
|00006090| 78 70 61 6e 64 61 66 74 | 65 72 20 5c 6e 6f 65 78 |xpandaft|er \noex|
|000060a0| 70 61 6e 64 20 5c 63 73 | 6e 61 6d 65 20 74 68 65 |pand \cs|name the|
|000060b0| 23 33 5c 65 6e 64 63 73 | 6e 61 6d 65 0a 20 20 20 |#3\endcs|name. |
|000060c0| 20 20 20 20 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 | \@th|mcounter|
|000060d0| 73 65 70 20 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 |sep \@th|mcounter|
|000060e0| 7b 23 31 7d 7d 25 0a 25 | 20 20 20 20 5c 65 6e 64 |{#1}}%.%| \end|
|000060f0| 7b 6d 61 63 72 6f 63 6f | 64 65 7d 0a 25 20 20 20 |{macroco|de}.% |
|00006100| 20 54 68 75 73 20 77 69 | 74 68 20 74 68 65 20 64 | Thus wi|th the d|
|00006110| 65 66 61 75 6c 74 73 20 | 6f 66 20 5c 4c 61 54 65 |efaults |of \LaTe|
|00006120| 58 7b 7d 2c 20 7c 5c 74 | 68 65 4c 65 6d 7c 20 77 |X{}, |\t|heLem| w|
|00006130| 6f 75 6c 64 20 62 65 0a | 25 20 20 20 20 72 65 70 |ould be.|% rep|
|00006140| 6c 61 63 65 64 20 62 79 | 20 74 68 65 20 63 6f 6d |laced by| the com|
|00006150| 6d 61 6e 64 20 73 65 71 | 75 65 6e 63 65 20 7c 5c |mand seq|uence |\|
|00006160| 74 68 65 73 65 63 74 69 | 6f 6e 2e 5c 61 72 61 62 |thesecti|on.\arab|
|00006170| 69 63 7b 4c 65 6d 7d 7c | 2e 0a 25 0a 25 20 20 20 |ic{Lem}||..%.% |
|00006180| 20 57 65 20 77 69 6c 6c | 20 6e 6f 77 20 6c 6f 6f | We will| now loo|
|00006190| 6b 20 61 74 20 74 68 65 | 20 64 65 66 69 6e 69 74 |k at the| definit|
|000061a0| 69 6f 6e 20 6f 66 20 74 | 68 65 20 6d 61 63 72 6f |ion of t|he macro|
|000061b0| 20 77 68 69 63 68 20 69 | 73 20 65 78 65 63 75 74 | which i|s execut|
|000061c0| 65 64 0a 25 20 20 20 20 | 61 74 20 74 68 65 20 62 |ed.% |at the b|
|000061d0| 65 67 69 6e 6e 69 6e 67 | 20 6f 66 20 74 68 65 20 |eginning| of the |
|000061e0| 61 63 74 75 61 6c 20 65 | 6e 76 69 72 6f 6e 6d 65 |actual e|nvironme|
|000061f0| 6e 74 20 28 69 6e 20 6f | 75 72 20 65 78 61 6d 70 |nt (in o|ur examp|
|00006200| 6c 65 20 74 68 69 73 0a | 25 20 20 20 20 6d 61 63 |le this.|% mac|
|00006210| 72 6f 20 69 73 20 7c 5c | 4c 65 6d 7c 29 2e 20 49 |ro is |\|Lem|). I|
|00006220| 74 20 73 68 6f 75 6c 64 | 20 62 65 20 6e 6f 74 65 |t should| be note|
|00006230| 64 20 74 68 61 74 20 77 | 65 20 75 73 65 20 61 6e |d that w|e use an|
|00006240| 0a 25 20 20 20 20 60 60 | 7c 5c 65 78 70 61 6e 64 |.% ``||\expand|
|00006250| 61 66 74 65 72 7c 20 74 | 72 69 63 6b 27 27 20 74 |after| t|rick'' t|
|00006260| 6f 20 65 78 70 61 6e 64 | 20 6f 6e 6c 79 20 63 65 |o expand| only ce|
|00006270| 72 74 61 69 6e 20 70 61 | 72 74 73 20 6f 66 20 74 |rtain pa|rts of t|
|00006280| 68 65 0a 25 20 20 20 20 | 72 65 70 6c 61 63 65 6d |he.% |replacem|
|00006290| 65 6e 74 20 74 65 78 74 | 20 61 74 20 74 68 65 20 |ent text| at the |
|000062a0| 74 69 6d 65 20 6f 66 20 | 74 68 65 20 64 65 66 69 |time of |the defi|
|000062b0| 6e 69 74 69 6f 6e 2e 0a | 25 20 20 20 20 5c 62 65 |nition..|% \be|
|000062c0| 67 69 6e 7b 6d 61 63 72 | 6f 63 6f 64 65 7d 0a 20 |gin{macr|ocode}. |
|000062d0| 20 20 20 5c 64 65 66 5c | 40 74 65 6d 70 61 7b 5c | \def\|@tempa{\|
|000062e0| 67 6c 6f 62 61 6c 5c 40 | 6e 61 6d 65 64 65 66 7b |global\@|namedef{|
|000062f0| 23 31 7d 7d 25 0a 20 20 | 20 20 5c 65 78 70 61 6e |#1}}%. | \expan|
|00006300| 64 61 66 74 65 72 20 5c | 40 74 65 6d 70 61 20 5c |dafter \|@tempa \|
|00006310| 65 78 70 61 6e 64 61 66 | 74 65 72 7b 25 0a 25 20 |expandaf|ter{%.% |
|00006320| 20 20 20 5c 65 6e 64 7b | 6d 61 63 72 6f 63 6f 64 | \end{|macrocod|
|00006330| 65 7d 0a 25 20 20 20 20 | 46 69 72 73 74 2c 20 74 |e}.% |First, t|
|00006340| 68 65 20 6d 61 63 72 6f | 20 74 68 61 74 20 63 6f |he macro| that co|
|00006350| 6e 74 61 69 6e 73 20 74 | 68 65 20 63 75 72 72 65 |ntains t|he curre|
|00006360| 6e 74 20 64 65 66 69 6e | 69 74 69 6f 6e 73 20 6f |nt defin|itions o|
|00006370| 66 0a 25 20 20 20 20 7c | 5c 40 62 65 67 69 6e 74 |f.% ||\@begint|
|00006380| 68 65 6f 72 65 6d 7c 20 | 61 6e 64 20 7c 5c 40 6f |heorem| |and |\@o|
|00006390| 70 61 72 67 74 68 65 6f | 72 65 6d 7c 20 73 68 6f |pargtheo|rem| sho|
|000063a0| 75 6c 64 20 62 65 20 63 | 61 6c 6c 65 64 0a 25 20 |uld be c|alled.% |
|000063b0| 20 20 20 75 70 2e 20 20 | 54 68 65 20 6e 61 6d 65 | up. |The name|
|000063c0| 20 6f 66 20 74 68 69 73 | 20 6d 61 63 72 6f 2d 2d | of this| macro--|
|000063d0| 2d 61 73 20 69 73 20 61 | 6c 72 65 61 64 79 20 6b |-as is a|lready k|
|000063e0| 6e 6f 77 6e 2d 2d 2d 68 | 61 73 20 74 68 65 20 66 |nown---h|as the f|
|000063f0| 6f 72 6d 0a 25 20 20 20 | 20 7c 5c 74 68 40 7c 5c |orm.% | |\th@|\|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
